首页 >
李 未
✍ dations ◷ 2025-11-19 00:06:14 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 美国西部美国西部（英语：Western United States）泛指美国西部各州。由于美国自建国以来疆域多次向西扩展，因此美国西部的定义也随着时代而变化。一般多以密西西比河作为美国东西部的分界
- 鲁本斯彼得·保罗·鲁本斯（荷兰语：Sir Peter Paul Rubens，/ˈruːbənz/;，荷兰语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","
- 荨麻荨麻是荨麻属中大约30-45种植物的通用俗称，广泛分布在全球的温带和热带地区。绝大部分种类为多年生草本植物，也有部分为灌木，或一年生草本植物。叶对生，有齿牙或分裂，有托叶，花单
- 非那西汀非那西丁（Phenacetin，或译非那西汀），化学式C10H13NO2，在室温是白色结晶固体，熔点约134℃，是一种在许多国家被禁售的药物。非那西丁在1887年发明， 主要作为止痛药使用。通常每日300至
- 深海热泉海底热泉（hydrothermal vent）亦作海底热液系统（Submarine Hydrothermal System），是从海底喷出经由地热加热过的水及其裂缝喷发口。通常发现于火山活动频发、大陆板块移动的地区及
- 古菌域古菌（拉丁语：Archaea，来自古希腊语：ἀρχαῖα，意为“古代的东西”）又称古细菌、古生菌或太古生物、古核生物，是单细胞微生物，构成生物分类的一个域，或一个界。这些微生物1970年前
- 吉尔曼艾尔佛列·古曼·吉尔曼（英语：Alfred Goodman Gilman，1941年7月1日－2015年12月23日），美国药学和生物化学家。因发现G蛋白与马丁·罗德贝尔一起分享1994年诺贝尔生理学或医学奖。19
- 脱氧胞苷去氧胞苷（英语：Deoxycytidine）是一种属于核苷的化合物，结构与胞苷相似，但少了一个氧原子。
- 赫布里底群岛赫布里底群岛（Hebrides，发音为/ˈhɛbrɨˌdiːz/）位于苏格兰西部大西洋中，由内赫布里底群岛和外赫布里底群岛组成。群岛自中石器时代起就有人居住，凯尔特语、古诺尔斯语和英语文
- 四因说四因说（four causes），由古希腊哲学家亚里士多德提出，将世界上事物的变化与运动的背后原因（古希腊语：αἴτιον）归纳为四大类。四因包括：亚里士多德认为，凡感性实体，包括自然物和人
