首页 >
李 未
✍ dations ◷ 2025-12-09 00:11:49 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- HCOsub3/subsup-/sup碳酸氢盐是碳酸形成的酸式盐，含有碳酸氢根离子—HCO3−。大多数碳酸氢盐对热不稳定，会分解为碳酸盐、二氧化碳和水。碱金属碳酸氢盐溶于水，水溶液呈碱性，与酸迅速反应放出二氧化
- 生物武器生化武器，旧称细菌武器，是指用来杀伤人员、牲畜和毁坏农作物的致病性微生物及其毒素，依赖生物与生物之间的克制对有生力量发挥杀伤作用。生物武器的施放装置包括炮弹、炸弹、火
- 子宫内膜子宫内膜（endometrium）是哺乳动物子宫内侧的上皮组织层以及其黏膜层。子宫内膜可分为基底层（basal layer）及机能层（functional layer），其机能层会在月经周期或是动情周期增厚，若没有
- 西医人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学医学是以诊断、治疗和预防生理和心理
- span class=Unicode/span谢费尔竖线（英语：Sheffer stroke），得名于Henry M. Sheffer（英语：Henry M. Sheffer），写为“| ”（见竖线）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（No
- 让-马丁·沙可让-马丁·沙可（法语：Jean-Martin Charcot，1825年11月29日－1893年8月16日），19世纪法国神经学家、解剖病理学教授。他的工作大大推动了神经学和心理学领域的发展。他的绰号是“神经
- 比雅久比亚乔（Piaggio&C. s.p.a.）是一家意大利的机车与汽车制造大厂，旗下拥有七个品牌。身为世界第四大摩托车生产商，比亚乔每年生产超过60万辆摩托车，拥有五座研发中心负责各品牌的研
- span class=chemf style=white-space:nowrap;Csub22/sub二十二烷（英语：docosane）是含有22个碳原子的直链烷烃，化学式为C22H46或CH3(CH2)20CH3，外观为无色蜡状固体，主要用途为标定气体。可经由反应制备二十二烷醇(CH3(CH2)21OH)，可做为化
- 圣迭戈教士圣迭戈教士（英语：San Diego Padres）是一支在美国加利福尼亚州圣迭戈的美国职棒大联盟球队，隶属国家联盟西区。教士战绩一直很不理想，虽然1984年在国联冠军赛以3胜2败逆转淘汰芝加
- 麦克德尔米德艾伦·格雷厄姆·麦克德尔米德，ONZ（英语：Alan Graham MacDiarmid，1927年4月14日－2007年2月7日），或译“艾伦·麦克迪尔米德”，化学家，具有美国和新西兰双重国籍。由于在导电聚合物领域
