上海市高可信計算重點實驗室召開第四屆學術委員會第二次會議
發布時間:2019-12-25  閱讀次數:666

2019年12月23日,上海市高可信計算重點實驗室第四屆學術委員會第二次會議在華東師范大學中北校區召開。華東師范大學科技處領導及實驗室部分人員出席會議。

 

出席會議的學術委員和顧問有:陸汝鈐、何積豐、王懷民、金芝、李宣東、傅育熙、王曉陽、繆淮扣、王椿芳、張激、張健等人。會議由學術委員會主任王懷民主持,科技處副處長王華主持歡迎儀式。

 

學術委員會主任王懷民院士主持會議

  

會議上,實驗室常務副主任鄧玉欣就實驗室一年來的主要工作進展情況做匯報,包括實驗室研究進展與成果、國內外學術交流、人才培養與引進、實驗室運行管理機制,以及實驗室下一階段工作重點與目標等。

 

實驗室常務副主任鄧玉欣作工作匯報

 

實驗室成員朱惠彪、王高麗兩位教師做代表性學術成果匯報。

 

朱惠彪教授作學術成果報告

 

報告后,委員們對實驗室工作展開討論,對實驗室今后的發展方向和建設目標提出意見和建議。

 

一年來,實驗室在科學研究、隊伍建設、國際交流與合作、產學研合作、運行管理等方面取得了顯著成績。在可信計算的理論、方法、技術等方面,特別是在程序語義理論、密碼理論、可信度量、軟件形式化建模與驗證等方面取得了具有國際影響的進展,在形式化方法解決領域軟件的可信性方面取得實際成效,在深度學習系統驗證等研究方面開展有益的探索。實驗室獲得教育部自然科學一等獎等榮譽獎項,引進多名海內外優秀中青年人才,強化了實驗室人才隊伍建設。積極探索實驗室運行管理機制,在國際化方面也取得了新的進展。

 

學術委員會充分肯定了實驗室所取得的成績,并建議未來在形式化方法的工具研制方面進一步開拓創新。

 

合影

華東師范大學軟件工程學院
www.ejdbxe.live Copyright Software Engineering Institute
院長信箱:[email protected] | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
曾道人玄机2018