近日，上海市人才工作局公布2024年度東方英才入選名單。經(jīng)上海市各平臺(tái)遴選推薦、專家評(píng)審等層層選拔，上?？匕才c華東師范大學(xué)聯(lián)合培養(yǎng)博士后馮勁草，成功入選2024年度上海市東方英才計(jì)劃青年項(xiàng)目。

馮勁草博士，上?？匕膊┦亢罂蒲泄ぷ髡九c華東師范大學(xué)軟件工程博士后流動(dòng)站聯(lián)合培養(yǎng)博士后。目前擔(dān)任上?？匕部尚跑浖?chuàng)新研究院副院長(zhǎng)、系統(tǒng)建模組總監(jiān)，主要研究方向?yàn)樾问交椒ê托枨蠊こ?。曾參與多項(xiàng)國(guó)家自然科學(xué)基金面上項(xiàng)目、聯(lián)合基金項(xiàng)目，主要工作包括需求的形式化建模與分析、面向領(lǐng)域的形式化工程方法等。與國(guó)內(nèi)工業(yè)領(lǐng)域多家頭部應(yīng)用單位協(xié)同，對(duì)方法和工具在真實(shí)工業(yè)環(huán)境下進(jìn)行應(yīng)用驗(yàn)證。

馮勁草博士聚焦工業(yè)基礎(chǔ)軟件領(lǐng)域，帶領(lǐng)其團(tuán)隊(duì)圍繞高可信建模驗(yàn)證工具卡脖子問題開展長(zhǎng)期攻關(guān)，成功研發(fā)國(guó)產(chǎn)自主可控的高可信嵌入式軟件建模開發(fā)工具SmartRocket Modeler，滿足基于模型的開發(fā)（MBD）要求，適用于航空、航天、船舶及運(yùn)載車輛等嵌入式控制軟件的詳細(xì)設(shè)計(jì)和編碼階段，以嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)理論支撐建模、驗(yàn)證到代碼生成的完整流程，節(jié)省大量的人力和時(shí)間，為國(guó)家關(guān)鍵核心技術(shù)自主可控提供有力支撐，有效填補(bǔ)國(guó)內(nèi)該領(lǐng)域技術(shù)空白，打破國(guó)外工業(yè)軟件的壟斷地位。

SmartRocket Modeler 高可信嵌入式軟件建模開發(fā)工具

據(jù)悉，東方英才計(jì)劃青年項(xiàng)目是上海市高質(zhì)量人才培養(yǎng)項(xiàng)目，旨在培養(yǎng)全球基礎(chǔ)前沿領(lǐng)域和關(guān)鍵核心技術(shù)創(chuàng)新領(lǐng)域的青年學(xué)術(shù)帶頭人和青年技術(shù)帶頭人。此次人才入選將進(jìn)一步激發(fā)上?？匕苍趪?guó)產(chǎn)化軟件創(chuàng)新方面的人才活力，推動(dòng)在工業(yè)基礎(chǔ)軟件領(lǐng)域取得更多突破。

未來，上?？匕矊⒊掷m(xù)以人才為引領(lǐng)，不斷強(qiáng)化高水平科技人才體系建設(shè)，堅(jiān)持創(chuàng)新驅(qū)動(dòng)發(fā)展戰(zhàn)略，助推上海市高水平人才高地建設(shè)，為推動(dòng)國(guó)產(chǎn)軟件產(chǎn)業(yè)的發(fā)展做出更大貢獻(xiàn)。

閱讀原文