首页 >
李 未
✍ dations ◷ 2025-11-29 02:01:07 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 抽血检查血液检查（英语：Blood test），是指通过采血以获得受检者的血液，并利用其进行临床检查以获取受检者的健康状况。主要通过医检师进行检验。血液检查主要用于判断患者在一定时间内的身
- 自然自然（英文：Nature），是指不断运行演化的宇宙万物，包括生物界和非生物界两个相辅相成的体系。人类所能理解地自然现象有：生物界的基因模因、共识主动、意识行为、社会活动和生态系统
- 日本酒日本酒（日语：日本酒／にほんしゅ Nihon syu），指日本传统的酒精饮料，一般用来特指日本最具代表性的酒类，清酒。主要以米为原料，以日本传统制法制成，属于酿造酒。以日本特有制法制成的
- 普罗泰戈拉普罗泰戈拉（希腊语：Πρωταγόρας，约前490年－前420年）是一个古希腊哲学家，被柏拉图认为是诡辩学派的一员。普罗泰戈拉出生在色雷斯的阿布德拉城。柏拉图的《普罗泰戈拉篇》
- 沼气沼气（Marsh gas、swamp gas或bog gas）是在湿地形成之生物气体，通常自然发生于河流湿地、沼泽或泥炭沼泽（英语：Bog），其主要成分为甲烷，亦含硫化氢与二氧化碳。由于沼地表面由多孔性的
- 史前狮子人雕像狮子人雕像是全世界已知的最古老雕塑品，是三万年前的史前人类用象牙制作而成的。最初被科学家们称作“狮子人” (德语：Löwenmensch, 字面意思是“狮人”)，亦是世界上已知最古
- 性染色体性别决定系统（英语：Sex-determination system），是一个生物系统，决定了生物性特征的发展。大部分生物都有两个性别（如木瓜有雄株、雌株和雌雄同株三种性别），一些比较原始的生物可以有
- 民视新闻民视新闻台（英语：FTV News Channel）是民间全民电视公司旗下的新闻频道。于1997年5月5日开播，开播时间比民视无线台还早。民视新闻台最早定频在有线电视第4频道，2003年开始采用非
- 斯蒂芬·库夫勒斯蒂芬·威廉·库夫勒（匈牙利语：Stephen William Kuffler，1913年8月24日－1980年10月11日），生于匈牙利塔普，匈牙利籍-美籍神经生理学家，被公认为“现代神经科学之父”。1966年，库夫勒
- Haemonchus contortus捻转血矛线虫（学名：Haemonchus contortus），又名扭旋血线虫，是寄生于反刍动物（特别是绵羊）消化道内的一种寄生虫，属毛圆科血矛属。成虫主要寄生在山羊和绵羊的真胃。捻转血矛线虫是一
