李未

出自維基百科,自由嘅百科全書

李未(1943年6月8日-),電腦專家,中國科學院院士,2002年開始任北京航空航天大学校長。

1966年喺北京大學數學與力學系畢業,1983年喺英國愛丁堡大學電腦科學系攞到博士學位。曾任英国科學與工程委員會、紐卡素大學同愛丁堡大學電腦系高級研究員, 歐洲共同體發展信息戰略計劃(ESPRIT)及德國不萊梅大學教授級研究員,德國薩爾大学(Zuse)客席教授。1986年做教授, 并被批准為博士導師,1997年當選做中國科學院院士。

他主要从事電腦軟件,科學理講同埋互聯網嘅應用研究,研究嘅領域包括開發程序設計語言語義理倫、軟件開發方法、人工智能基礎及超大規模嘅集成電路輔助設計技術。

1981年佢提出左用結構操作語義描述軟件件中并发、同步及通讯现象的方法,系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题,结构操作语义方法已成为程序设计语言语义学的一种经典方法。

1992年建立了开放逻辑理论,解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。

1998年在中国首先倡导海量信息计算的理论与方法研究。

其他語言