首页 >
李 未
✍ dations ◷ 2025-12-01 19:46:18 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 新城病病毒新城病（英文：Newcastle disease）是一种禽鸟传染病，由新城病病毒引致。此病毒在禽鸟间有很高的传染性和死亡率，现时没有治疗方法，但可以透过疫苗和消毒措施以减少其爆发之可能性。
- 上流式厌氧污泥床上流式厌氧污泥床反应器（英文：Up-flow Anaerobic Sludge Blanket, UASB）是一种处理污水的厌氧生物方法，于1977年由荷兰Lettinga教授发明。污水自下而上通过UASB。反应器底部有一
- 硝基硝基化合物是含有一个或若干个硝基官能团(-NO2)的有机化合物。硝基化合物通常易爆，尤其是当分子内含有超过一个硝基且不纯时。芳香硝基化合物通常通过硝化反应合成，即混合硝酸
- 头昏目眩头重脚轻（Lightheadedness）也称为头昏目眩，是头晕时常见，令人不悦的感觉，常伴随着可能会昏倒的感觉。头重脚轻的感觉可能是短期或长期的，偶尔也可能是慢性病。当时也可能会出现所
- 环戊烷多氢菲核Diels烃，学名3'-甲基-1,2-环戊烯并菲，一种固体（常温下），分子式C18H16，熔点126～127°C。在甾体化学的早期发展中有很重要的作用。1927年狄尔斯发现，所有的甾族化合物用硒在360°C处理
- 娱乐性用药娱乐性用药（英语：Recreational drug use），意指会影响人类中枢神经系统，改变人类意识、情绪状态的精神药物统称。这类药物通常被用来产生欣快感（euphoria）、阻止不快记忆、增加愉悦
- 解剖显微镜光学显微镜（Optical microscope、Light microscope）是一种利用光学透镜产生影像放大效应的显微镜。由物体入射的光被至少两个光学系统（物镜和目镜）放大。首先物镜产生一个被放大
- 泊松过程Poisson过程（Poisson process，大陆译泊松过程、普阿松过程等，台译卜瓦松過程、布瓦松過程、布阿松過程、波以松過程、卜氏過程等），是以法国数学家泊松（1781 - 1840）的名字命名的。
- 希腊海岸警卫队希腊海岸警卫队（Λιμενικό Σώμα-Ελληνική Ακτοφυλακή - Limeniko Soma-Elliniki Aktofylaki、Hellenic Coast Guard），为希腊的准军事力量之一。
- 塞雷拉基因组公司塞雷拉基因组（Celera Genomics，NYSE：CRA，专门于遗传定序以及相关技术。总部位于马里兰州。成立于1998年，克莱格·凡特与珀金-埃尔默公司（Perkin-Elmer Corporation）为主要建立者之
