首页 >
李 未
✍ dations ◷ 2025-08-07 22:02:06 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 皮肤发紫发绀（Cyanosis，“绀”音“gàn”），或称紫绀、苍蓝症，是因在接近皮肤表面的血管出现脱氧后的血红蛋白，令皮肤或黏膜带青色的症状。根据Lundsgaard和Van Slyke的著作，当去氧血红素的
- 格里夫氏症弥漫性毒性甲状腺肿（Toxic diffuse goiter），又称格里夫氏症（Graves' disease），为一种主要侵犯甲状腺的自身免疫性疾病。此病为导致甲状腺功能亢进症最常见的原因，且会导致甲状腺肿
- H10N7H10N7是一种甲型流感病毒（有时称为禽流感）的亚种。在2004年，埃及首次爆发有人类感染的H10N7疫症。此次爆发感染了一些伊斯梅利亚的居民，包括两个一岁的婴儿和有一个孩子的家禽商
- 懒猴懒猴属（学名：Nycticebus）是懒猴科下的一种动物。它们分布在婆罗洲及菲律宾南部，至孟加拉、越南、印尼、印度、中国南部及泰国。它们被列为易危或濒危，因其大眼睛可以作为药材而被
- 元音变换元音变化（英语 ablaut, vowel gradation, vowel mutation）是一种相当普遍的语言现象，常被用来进行屈折变化或用于衍生新词。英语中元音变换的例子如某些动词的词形变化：drive/dr
- 相干逻辑相干逻辑，也叫做相关逻辑，是一类非经典亚结构逻辑，它在蕴涵上施加了特定限制。（一般但不完全的，澳大利亚逻辑学家称之为relevant logic，其他说英语的逻辑学家称之为relevance logi
- 天体物理学天体物理学（英语：Astrophysics），又称天文物理学，是研究宇宙的物理学，这包括星体的物理性质（光度，密度，温度，化学成分等等）和星体与星体彼此之间的相互作用。应用物理理论与方法，天体物理
- L01A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码L01（Antineoplastic agents）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The W
- 进化生物学现代生物分类群体从它们的 共同祖先遗传分化的图示。进化论介绍（英语：Introduction to evolution） 演化的证据 共同起源 共同起源的证据群体遗传学 · 遗传多样性 突变 · 自
- 磷酸烯醇丙酮酸羧化激酶结构 / ECOD磷酸烯醇丙酮酸羧化激酶（英语：Phosphoenolpyruvate carboxykinase，或称为烯醇丙氨酸磷酸羧激酶或磷酸烯醇丙酮酸羧激酶，简称为PEPCK，EC 4.1.1.32）是以一条单一肽链构成
