首页 >
李 未
✍ dations ◷ 2025-11-23 17:19:38 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 巨细胞巨细胞（英语：giant cell，或称为多核巨细胞）是多个不同细胞（常为组织细胞）融合在一起形成的，常伴随形成肉芽肿。巨细胞可作为感染的反应而形成，这些感染包括结核病、疱疹或HIV，也可由
- 解毒剂解毒剂指可以解除毒性的物质。常见的毒物和对应的解毒剂有：抗高血压药 · 利尿剂 · 血管舒张剂 · β受体阻断剂 · 钙离子通道阻滞剂 · 肾素-血管紧张素系统（ACE
- 血压反射血压反射（英语：baroreflex、日语：血壓反射機能）或血管压力感受器反射（英语：baroreceptor reflex）是身体内的其中一种生命征象恒定机制，功能是确保体内的血压长时间维持在稳定的区间，
- 下腔静脉下腔静脉（法语：Inferior vena cava、IVC)）位于腹主动脉右侧粗大壁薄的血管即下腔静脉。它的上端穿膈的腔静脉裂孔入右心房，下端于第5腰椎右前方由左右骼总静脉汇合而成。沿途可
- 人类微生物菌落项目人类微生物组计划（英语：Human Microbiome Project，缩写：HMP）是美国国立卫生研究院于2008年发起的一项旨在鉴定与阐明和人类健康与疾病相关的微生物（人类微生物组）功能的计划，计划耗
- 胸廓造口术胸腔闭式引流术，又称“胸廓造口术、胸腔管手术”，是一种较为简单的外科手术。一般用于治疗各种胸腔积水、胸腔积液（英语：pleural effusion）和气胸等。过程是先进行局部麻醉后，在肋
- 高卢战记《高卢战记》（拉丁语：Commentarii de Bello Gallico），凯撒描述自己从前58年到前50年担任高卢行省省长时遭遇到种种事件的随记。全书共分成8卷，每章各描述整年凯撒遭遇的种种大事，
- 塞纳-马恩省塞纳-马恩省（法语：Seine-et-Marne）是法国法兰西岛大区所辖的省份。该省编号为77。塞纳-马恩省是法国最初的83个省份之一，成立于法国大革命期间的1790年3月4日，根据1789年12月22日
- 奔萨州奔萨州（俄语：Пе́нзенская о́бласть，罗马化：Penzenskaya oblast）是俄罗斯联邦主体之一，属伏尔加联邦管区。面积43,200平方公里，人口1,452,941（2002年）。首府奔萨。
- 爱丁堡大学坐标：55°56′50.6″N 3°11′13.9″W / 55.947389°N 3.187194°W / 55.947389; -3.187194爱丁堡大学（英语：University of Edinburgh）坐落在苏格兰首府爱丁堡市，是一所创建于158
