近日，上海市軟件行業(yè)協(xié)會公布“2024上海軟件企業(yè)技能人才評價”名單，評選產(chǎn)生多位軟件開發(fā)、軟件測試、軟件運維（交付）、軟件企業(yè)經(jīng)營方向優(yōu)秀技能人才。上海控安與華東師范大學聯(lián)合培養(yǎng)博士后馮勁草，入選“軟件開發(fā)技能人才”名單。

軟件開發(fā)技能人才

“2024上海軟件企業(yè)技能人才評價”工作，以弘揚軟件行業(yè)人才工匠精神為宗旨，已成功舉辦五屆，是上海市軟件行業(yè)協(xié)會推動軟件人才高質(zhì)量發(fā)展的關(guān)鍵活動之一。本次評價活動依據(jù)《軟件企業(yè)技能人才評價規(guī)范》（T/SSIA 0001-2019）開展，由企業(yè)自薦申報，經(jīng)過為期數(shù)月的統(tǒng)計性評價、行業(yè)專家評議等多層審核，上海控安馮勁草博士以全面的軟件開發(fā)能力與豐富的項目支撐經(jīng)驗，成功獲評“軟件開發(fā)技能人才”榮譽稱號。

（圖為2023CCF中國軟件大會演講）

本次入選技能人才評價名單的馮勁草博士，為上海控安博士后科研工作站與華東師范大學軟件工程博士后流動站聯(lián)合培養(yǎng)在站博士后。目前擔任上海控安可信軟件創(chuàng)新研究院副院長、系統(tǒng)建模組總監(jiān)，主要研究方向為形式化方法和需求工程。曾參與多項國家自然科學基金面上項目、聯(lián)合基金項目，主要工作包括需求的形式化建模與分析、面向領(lǐng)域的形式化工程方法等。與國內(nèi)工業(yè)領(lǐng)域多家頭部應(yīng)用單位協(xié)同，對方法和工具在真實工業(yè)環(huán)境下進行應(yīng)用驗證。目前聚焦于工業(yè)基礎(chǔ)軟件的開發(fā)，致力于解決國產(chǎn)卡脖子技術(shù)難題，帶領(lǐng)團隊研發(fā)國產(chǎn)自主可控的可視化建模開發(fā)工具SmartRocket Modeler，有效填補國內(nèi)該領(lǐng)域技術(shù)空白，打破國外工業(yè)軟件的壟斷地位。

軟件產(chǎn)業(yè)是引領(lǐng)新一輪科技革命和產(chǎn)業(yè)變革的關(guān)鍵力量，人才是驅(qū)動產(chǎn)業(yè)發(fā)展的核心要素。為促進軟件產(chǎn)業(yè)高質(zhì)量發(fā)展，培育滿足產(chǎn)業(yè)發(fā)展需求的特色化軟件人才，上海控安積極聯(lián)合產(chǎn)學研等多方主體，依托平臺公司博士后科研工作站、可信軟件創(chuàng)新研究院等核心力量，積極開展面向工業(yè)控制系統(tǒng)功能安全與信息安全的關(guān)鍵技術(shù)協(xié)同攻關(guān)、科研實驗室聯(lián)合共建等工作，目前平臺公司引育人才及相關(guān)研發(fā)技術(shù)已榮獲國家級與市級多項榮譽，并有力支撐嫦娥5號、天問1號、C919國產(chǎn)客機等重大項目。

未來，上海控安將持續(xù)以人才為引領(lǐng)，不斷強化高水平軟件技能人才體系建設(shè)，堅持科技創(chuàng)新，為促進上海軟件產(chǎn)業(yè)高質(zhì)量發(fā)展貢獻智慧力量。

閱讀原文