ag环亚集团娱乐官网欢迎您gm777.top是一家集ag环亚集团娱乐官网欢迎您,ag环亚集团娱乐官网欢迎您,ag环亚集团娱乐官网欢迎您于一体的综合性娱乐公司,为玩家提供全方位的游戏体验,诚邀您的体验。

國家杰青獲得者南京大學李宣東教授“可信軟件的若干問題”學術報告會
【所屬類別】學術活動     【作者】管理員     【閱讀次數】     【發布時間】2013-11-04 13:29:23  

學術報告

可信軟件的若干問題

報告人:國家杰出青年科學基金獲得者,南京大學李宣東教授

時間:2013116星期三,下午15:30

地點:圖書館5樓報告廳

【摘要】計算機已經滲透到我們工作和生活的方方面面,成為我們工作和生活的一部分,從而極大地促進了社會的發展和生產力的提高。然而,各種計算機系統由于其中的軟件系統失效經常表現不盡人意,呈現出脆弱ag环亚集团娱乐官网欢迎您、難以信任的特征,甚至造成不可挽回的損失。本報告嘗試探索可信軟件的若干問題ag环亚集团娱乐官网欢迎您,包括:如何理解軟件可信性、如何度量與評估軟件可信性、如何增強軟件可信性?

 

李宣東教授簡介

19819月進入南京大學計算機科學與技術系學習ag环亚集团娱乐官网欢迎您,于19857月、19917月和199412月分別獲得學士、碩士和博士學位;現任江蘇省計算機學會理事長,南京大學計算機科學與技術系主任(院長),教授、博士生導師ag环亚集团娱乐官网欢迎您。

教學、研究工作主要涉及計算機軟件工程ag环亚集团娱乐官网欢迎您,近年來研究工作的重點包括軟件建模與分析、軟件測試與驗證。曾在聯合國大學澳門國際軟件技術研究所(UNU/IIST)、芬蘭Turku Centre for Computer ScienceTUCS)和美國Carnegie Mellon University進行訪問和合作研究。主持承擔包括國家自然科學基金項目、863高技術研究開發基金項目、國家九五重點攻關項目、國家重大基礎研究計劃973項目在內的多項國家和省級科研項目,在國際期刊、國際會議和國內一級學報發表學術論文60余篇;獲2002年教育部自然科學二等獎、1998年教育部科學技術進步二等獎和1998年度中創軟件人才獎,獲國務院政府特殊津貼,入選教育部跨世紀人才培養計劃和江蘇省青藍工程學術帶頭人培養計劃,2002年被教育部表彰為高等學校優秀骨干教師,2004年獲國家杰出青年科學基金資助ag环亚集团娱乐官网欢迎您。

 

ag环亚集团娱乐官网欢迎您