首页 >
李 未
✍ dations ◷ 2025-01-23 09:29:35 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 贾干弟鞭毛虫Lamblia intestinalisGiardia duodenalis蓝氏贾第鞭毛虫（学名：Giardia lamblia）又称蓝布尔吉亚尔氏鞭毛虫、梨形鞭毛虫，简称贾第虫。属于鞭毛虫纲，主要寄生在人体肠道内，引起腹痛
- 医疗船医疗船（英语：hospital ship）也称医护船或医院船，是指具有医院机能、用以提供人道医护治疗的船舰。大多是由一国的海军或政府拥有。按照国际法规定，医院船不允许携带任何武器；攻击
- 铁氧化还原蛋白铁氧还蛋白（英语：Ferredoxin）是一类在多种代谢反应中介导电子转移的铁硫蛋白。“铁氧还蛋白”这个词由杜邦公司的D·C·沃顿所创，并将此名应用于默顿森、瓦伦丁与卡纳汉从厌氧菌
- 美秀县美秀县（越南语：Huyện Mỹ Tú）是越南朔庄省下辖的一个县。美秀县下辖1市镇8社。
- 芋芋（学名：Colocasia esculenta）或芋艿，俗称“芋头”，为天南星科芋属植物，其球状地下茎（块茎）可食用亦可入药，在大洋洲诸岛是波利尼西亚人传统主要粮食；全年皆有产，花期在秋季。最早栽种
- 水杨酸钠水杨酸钠（化学式：C7H5NaO3或 NaC6H4(OH)CO2）是水杨酸的钠盐，可以通过苯酚和二氧化碳在较高的温度和压强下制取。历史上，水杨酸钠则是通过升华水杨酸与过量的碳酸氢钠发生反应，再用
- 乙酰唑胺乙酰唑胺（Acetazolamide、中华药典名：乙酰偶氮胺、商品名：丹木斯（Diamox）），学名N-(5-氨磺酰基-1,3,4-噻二唑-2-基)乙酰胺。无色或白色结晶。有弱酸性。易溶于冷水。密封阴凉干燥处
- 发酵罐发酵罐（英语：Fermentor）是指用来进行微生物发酵的装置，它通过优化微生物的发酵条件来提高发酵效率。根据所培养微生物的好氧和厌氧性，发酵罐可分为好氧型与厌氧型。发酵罐一般具
- 毒太阳《毒太阳》 (俄语：Утомлённые солнцем) 是1994年俄罗斯导演尼基塔·米哈尔科夫执导的一部电影。影片获得第47届戛纳电影节评审团大奖和第67届奥斯卡金像奖
- 滑铁卢大学坐标：43°28′20″N 80°32′50″W / 43.47222°N 80.54722°W / 43.47222; -80.54722滑铁卢大学（University of Waterloo），在加简称UW，是加拿大滑铁卢市的一所研究型省立大学，以
