首页 >
李 未
✍ dations ◷ 2025-11-26 16:14:13 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 病毒 (消歧义)病毒可以指：
- 环境承载力环境承载力，有时也称环境容纳量、环境容受力、环境人口容量。是指在一定条件下某一环境体系所能承担的人类数量及人类活动总量，它既包括自然环境提供给人的各类有形的与无形的
- 核事故依照国际原子能机构（IAEA）的标准，核事故是指对人、环境或设备造成严重后果的事件。核事故导致的后果有致死的影响、对自然环境造成的大量辐射泄漏、炉心熔毁等。“重大核事故”
- 猪哥亮猪哥亮（闽南语：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} 豬哥
- Leipzig莱比锡（德语：Leipzig，索布语：Lipzk）是德国萨克森州第一大城市，前德意志民主共和国（东德）第一大城市。位于萨克森州莱比锡盆地中心。它的古称是Lipsia或Lipzk，来源于斯拉夫语Липа，
- 联环丙烯联环丙烯是一种有机化合物，其分子式为C6H6，是苯的价键异构体之一，其结构可以视为是二个以单键相连的环丙烯单元。因着双键位置的不同，联环丙烯也有三个异构物。化学家Billups及H
- 恰恰恰恰（格鲁吉亚语：ჭაჭა）是乔治亚的一种白兰地。恰恰酒色透明，度数较高，有时会使用未成熟的葡萄或野生的葡萄制作。有些恰恰使用无花果或瓯柑、橙子、桑果等其他水果或香草制作
- 世子世子是东亚亲王继承人的正式封号。另外，对于贵族、高官的儿子们，也习尊称为世子，以示尊重，但这不是正式的称呼。在汉朝初期，亲王法定继承人的正式封号为“王太子”，后来为了与皇太
- 蔡淑君蔡淑君（1970年3月5日），中华民国政治人物，中国国民党籍，是新北市林口区人，1998年当选台北县林口乡民代表并连任后，曾以亲民党籍参与林口乡长选举落败。凭借著其于林口的细腻经营，以选
- 谢 毅谢毅（1967年7月23日－），中国化学家，主要研究方向为无机固体化学。生于蚌埠，原籍安庆。1988年毕业于厦门大学化学系，1996年获中国科技大学应用化学博士学位。2013年当选为中国科学院
