喜报！上海控安博士后研究员入选 2024年度上海市东方英才计划青年项目

发布时间：2025-01-24 作者：上海工业控制安全创新科技有限公司点击次数：次

近日，上海市人才工作局公布2024年度东方英才入选名单。经上海市各平台遴选推荐、专家评审等层层选拔，上海控安与华东师范大学联合培养博士后冯劲草，成功入选2024年度上海市东方英才计划青年项目。

冯劲草博士，上海控安博士后科研工作站与华东师范大学软件工程博士后流动站联合培养博士后。目前担任上海控安可信软件创新研究院副院长、系统建模组总监，主要研究方向为形式化方法和需求工程。曾参与多项国家自然科学基金面上项目、联合基金项目，主要工作包括需求的形式化建模与分析、面向领域的形式化工程方法等。与国内工业领域多家头部应用单位协同，对方法和工具在真实工业环境下进行应用验证。

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