首页 >
李 未
✍ dations ◷ 2025-07-15 05:55:50 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 斯蒂尔顿芝士斯蒂尔顿 (英文: Stilton cheese) 是原产于英国的乳酪。最著名的种类是以青霉菌发酵而成的蓝干酪，虽然也有不使用青霉菌的白干酪。目前斯蒂尔顿乳酪是受欧盟产品地理标志保护
- 尺骨尺骨（拉丁语：Ulna）是位在人体上肢中前臂内侧的骨头，即在尾指侧的骨，在桡骨之旁。在靠近上臂处有一半月形的关节面，称为滑车切迹，与肱骨滑车共同形成关节。切迹上方有两个突起，分别称
- 单氯丙二醇3-氯-1,2-丙二醇（3-MCPD），分子式C3H7ClO2。无色、有愉快性气味的吸湿性液体，放置后逐渐转变为微带绿色的黄色液体。溶于水、乙醇、乙醚、丙酮，微溶于甲苯，不溶于四氯化碳、苯和石
- 滑囊炎黏液囊炎（Bursitis），或称滑液囊炎、滑囊炎，是黏液囊的炎症。人体有超过150个黏液囊，常位于肌肉、肌腱、骨骼之间。黏液囊炎典型的症状是红、肿、压痛，常见原因为外伤、过度使用、
- 兼容字元当讲解和谈论统一码和UCS时，经常提到“兼容字符”这个字眼。兼容字符是指统一码联盟主张不要使用的图像式字符，正如统一码联盟所说：若不是为了与其他标准间兼容和能够双向对应
- 回补反应回补反应（英语：Anaplerotic reactions，也称补给反应或添补反应）是指形成代谢途径中间产物的反应。这样的例子可以是三羧酸循环。在该循环为呼吸作用而行使正常作用时，三羧酸循环
- Hsub4/subPsub2/subOsub6/sub79.5～81.5℃（一水合物）62～62.5℃（二水合物）连二磷酸（英语：Hypophosphoric acid），化学式H4P2O6，是一种无机酸，其中磷的氧化数为+4，故具有还原性。其固体多以二水合物（H4P2O6·2H2O）形式存在
- 法兰西斯·柯林斯弗朗西斯·柯林斯（英语：Francis S. Collins，1950年4月14日－），美国遗传学家，美国国立卫生研究院院长，领导人类基因组计划，并发现了多种疾病基因。1989年与徐立之共同同发现囊性纤维化
- CBi有机铋化学是指研究碳（C）和铋（Bi）之间化学键的化学分支，它自1980年以后才慢慢发展起来。有机铋化合物中，铋可以以+3或+5氧化态存在。有机铋化合物包括烃基铋及其卤化物、铋叶立德
- 印度语言印度语言非常复杂，大约有几百种，根据1961年的统计，有1652种，根据2001年的统计，有29种语言的使用人口超过一百万，有122种语言的使用人口超过一万人，这些语言主要分属于两大语系：印欧
