News
發布時間：2019-11-02 作者：上海工業控制安全創新科技有限公司 點擊次數：次
10月29日，美國科學院、歐洲科學院院士、美國萊斯大學教授Moshe Y. Vardi來訪上海控安，對平臺公司的工具鏈產品研發進行指導。Vardi教授就計算機軟件的源代碼單元測試、軟件質量度量方法、網絡安全監測和控制技術、以及軟件工具產品的應用前景和平臺運營的模式等問題與控安展開討論。
Vardi教授高度贊賞了控安自主研發的工業嵌入式系統單元測試工具SmartRocket Unit產品。他認為，該工具性能和用戶體驗度已能夠和國際頂尖同類產品比肩；同時指出，理論上測試工作無法保證軟件系統的漏洞可被完全檢測，而程序驗證是解決這一問題更有潛力的技術。他希望平臺公司能借鑒當前美國產業界成熟的軟件驗證產品研發和推廣經驗，以此指導推進我國自主驗證產品的研發。
上海控安的研發團隊也充分認同形式化驗證技術的重要性，并圍繞工業控制安全系統的技術創新和產業變革，向教授介紹了平臺公司在下一代“卡脖子”技術上的布局和展望，以及多年來在航空航天、軌道交通及工業控制領域的研發和產業化應用成果。Vardi教授表示，未來將持續關注平臺公司驗證工具核心技術的研發，并為此提出專業的指導意見。羅馬第一大學教授、ACM會士Giuseppe De Giacomo陪同訪問。
Moshe Y. Vardi 教授
美國國家工程院院士、美國國家科學院院士、ACM會士，同時還是美國科學促進會、美國人工智能協會成員、IEEE計算機學會成員；曾兩次榮獲ACM總裁獎，并榮獲ACM 杰出貢獻獎、哥德爾獎、ACM SIGMOD CODD創新獎、帕里斯·肯尼萊克斯理論與實踐獎。研究聚焦自動化推理及人工智能，包括數據庫理論、計算復雜性理論、多智能體系統中的知識、計算機輔助檢測、跨課程教學邏輯等。
Giuseppe De Giacomo 教授
羅馬第一大學計算機科學與工程系教授、ACM會士、美國人工智能協會成員、歐洲人工智能學會成員。聚焦人工智能，包括知識表示與自動推理，曾參與多個人工智能與計算機科學領域的課題，并將擔任2020年人工智能頂會會議主席。
美國科學院、歐洲科學院院士Moshe Y. Vardi教授（左三）、羅馬第一大學教授、ACM會士Giuseppe De Giacomo（左二）
