首页 >
李 未
✍ dations ◷ 2025-11-29 09:36:27 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 固氮固氮作用（英语：Nitrogen fixation），简称固氮，指将空气中游离态的氮（氮气）转化为含氮化合物（如硝酸盐、氨、二氧化氮）的过程。可分为自然固氮以及人工固氮两种。自然固氮（Natural nitro
- 罗马尼亚国歌：Deșteaptă-te, române《醒来吧，罗马尼亚人》"(英语："Awaken thee, Romanian!")面积以下资讯是以2019估计国家领袖国内生产总值（购买力平价） 以下资讯是以2018年估计国内
- Pa5f26d17s22,8,18,32,20,9,2主条目：镤的同位素镤（英语：Protactinium，旧译作鎃）是一种放射性化学元素，化学符号为Pa，原子序为91。镤是一种银灰色、密度大的锕系元素，容易与氧、水蒸汽
- 天主教会大分裂天主教会大分裂（1378年－1417年），即阿维尼翁分裂，是罗马天主教会中数位教宗同时要求其合法性导致的一次分裂。和“异端”及之后新教脱离的宗教改革运动不同，“分裂”这个称谓是被天
- 置信区间在统计学中，一个概率样本的置信区间（英语：Confidence interval，CI），是对产生这个样本的总体的参数分布（Parametric Distribution）中的某一个未知参数值，以区间形式给出的估计。相对于
- 热力学定律热力学，全称热动力学（法语：thermodynamique，德语：Thermodynamik，英语：thermodynamics，源于古希腊语θερμός及δύναμις），是研究热现象中物态转变和能量转换规律的学科。它着
- 拉丁-法利希语支拉丁-法利希语支是印欧语系意大利语族的一个分支，包括拉丁语和法利希语。这些语言在意大利和拉齐奥地区使用，之后拉丁语成为罗马帝国的唯一通用语言。法利希语的使用者逐渐减
- 鼓鼓部，为汉字索引中的部首之一，康熙字典214个部首中的第二百〇七个（十三划的则为第三个）。就繁体和简体中文中，鼓部归于十三划部首。鼓部只以上方为部字。且无其他部首可用者将部
- Arp2/3复合体Arp2/3复合物（英语：Arp2/3 complex）是一个包含7个次单元的蛋白质，专门调控肌动蛋白（actin）细胞骨架。其中Arp2与Arp3属于肌动蛋白相关蛋白（Actin-Related Proteins），能对微丝进行核化
- 亚历山大·瓦尔沙夫斯基亚历山大·瓦尔沙夫斯基（英语：Alexander Varshavsky，1946年11月8日－），俄裔美国生物化学家，加州理工学院教授。通过对酵母和高等生物的细胞培养的遗传学研究，瓦尔沙夫斯基阐明了从事
