首页 >
李 未
✍ dations ◷ 2025-12-04 23:01:15 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 消费行为异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学（英语：Differential psychology） 发展心理学 演化心理学 实验心理学
- 重子不对称性重子不对称性是在物理宇宙学一个重要的问题，就是为什么在宇宙中，重子（重子是构成质子、中子等粒子）的数量比反重子多？根据在现在说明宇宙诞生的理论来看，粒子的数量应该和反粒子的
- 蛇根木蛇根木（学名：Rauvolfia serpentina）为夹竹桃科萝芙木属的植物，为中国的特有植物。分布在大洋洲、泰国、印度尼西亚、缅甸、斯里兰卡、印度以及中国的云南、广西、广东等地，目前已
- 听觉损失听觉障碍（英语：Hearing loss）又称听力缺损，指听觉部分或完全丧失，而耳聋人士则是指完全没有或几乎没有听力者。听力缺损可能发生在单耳或双耳，有可能是暂时或永久性质。孩童的听力
- 弗朗切斯科·雷迪弗朗切斯科·雷迪（Francesco Redi，1626年－1697年）是一位意大利医学家、昆虫学家，以否定无生源论而著名。雷迪最有名的贡献是1668年在发表《昆虫诞生实验》中进行的一系列实验，被认
- 普利亚普利亚（意大利语：Puglia，拉丁语：Apulia），也译作阿普利亚，是意大利南部的一个大区，东邻亚得里亚海，东南面临爱奥尼亚海，南面则邻近奥特朗托海峡及塔兰托湾。该区南部知名的萨伦托半岛，组
- 法国大革命法国大革命（法语：Révolution française， 1789年－1799年）是法国的一段社会激进与政治动荡的时期，对于法国历史以及全欧洲都留下深刻广泛影响。法国政治体制在大革命期间发生了众
- 乔治·伊夫林·哈钦森乔治·伊夫林·哈钦森（英语：George Evelyn Hutchinson，1903年1月30日－1991年5月17日），美国动物学家，知名于淡水湖的研究，被认为是美国湖沼学之父。哈钦森生于英国剑桥，先后就读于霍尔
- NATO军事标准标志北大西洋公约组织为了共同作战能有所标准化，将军队编制进行了标准化，而该标准被名为NATO军事标准标志。该符号被北约以APP-6A做为命名，将名称与图片标准化后，最终于1999年制定完
- 乔治·蒙塔古乔治·蒙塔古（英语：George Montagu，？－1815年6月20日）是英格兰陆军军官和博物学家。以著作《鸟类学词典》而闻名。在英国，乌灰鹞也叫做“蒙塔古鹞”（Montagu's harrier），以纪念这位鸟类
