近日，上海市人才工作局公布2024年度东方英才入选名单。经上海市各平台遴选推荐、专家评审等层层选拔，上?？匕灿牖Ψ洞笱Я吓嘌┦亢蠓刖⒉?，成功入选2024年度上海市东方英才计划青年项目。

冯劲草博士，上?？匕膊┦亢罂蒲泄ぷ髡居牖Ψ洞笱砑こ滩┦亢罅鞫玖吓嘌┦亢蟆Ｄ壳暗Ｈ紊虾？匕部尚湃砑葱卵芯吭焊痹撼ぁ⑾低辰Ｗ樽芗?，主要研究方向为形式化方法和需求工程。曾参与多项国家自然科学基金面上项目、联合基金项目，主要工作包括需求的形式化建模与分析、面向领域的形式化工程方法等。与国内工业领域多家头部应用单位协同，对方法和工具在真实工业环境下进行应用验证。

冯劲草博士聚焦工业基础软件领域，带领其团队围绕高可信建模验证工具卡脖子问题开展长期攻关，成功研发国产自主可控的高可信嵌入式软件建?？⒐ぞ逽martRocket Modeler，满足基于模型的开发（MBD）要求，适用于航空、航天、船舶及运载车辆等嵌入式控制软件的详细设计和编码阶段，以严谨的数学理论支撑建模、验证到代码生成的完整流程，节省大量的人力和时间，为国家关键核心技术自主可控提供有力支撑，有效填补国内该领域技术空白，打破国外工业软件的垄断地位。

SmartRocket Modeler 高可信嵌入式软件建?？⒐ぞ?/span>

据悉，东方英才计划青年项目是上海市高质量人才培养项目，旨在培养全球基础前沿领域和关键核心技术创新领域的青年学术带头人和青年技术带头人。此次人才入选将进一步激发上?？匕苍诠砑葱路矫娴娜瞬呕盍Γ贫诠ひ祷∪砑煊蛉〉酶嗤黄啤?/span>

未来，上?？匕步中匀瞬盼?，不断强化高水平科技人才体系建设，坚持创新驱动发展战略，助推上海市高水平人才高地建设，为推动国产软件产业的发展做出更大贡献。

阅读原文