首页 >
李 未
✍ dations ◷ 2025-11-21 12:11:03 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 道兰氏医学词典多兰(Dorland's)是一个在不同媒体上（包括印刷书籍，光碟和线上内容）的家庭医学参考著作（包括字典，拼写和拼写检查软件）的品牌名称。其旗下产品为《多兰医学插图词典》(目前出版至第
- 肾皮质坏死肾皮质坏死(Renal cortical necrosis、RCN，弥漫性双侧肾皮质坏死(diffuse bilateral renal cortical necrosis、BRCN)、，弥漫性皮质坏死(diffuse cortical necrosis)、急性皮
- 集落刺激因子集落刺激因子（CSF）是一类分泌型的糖蛋白，其与造血干细胞表面上的受体蛋白结合，从而激活细胞内信号传导途径，其可导致细胞增殖并分化成特定类型的血细胞（通常是白细胞，对于红细胞形
- 喉前庭喉前庭（laryngeal vestibule）即是声带上方的喉腔部分；其基部或前壁呈现出三角形宽广之形状，而其中心部即会厌结节（楔形结节（英语：cuneiform tubercle）；小角结节（英语：corniculate tuber
- 纳米医学纳米医学是随着纳米生物医药发展起来用纳米技术解决医学问题的学科。纳米技术和材料的发展将将给医学领域带来一场深刻的革命，主要在对付癌症和治疗心血管疾病方面有重要意义
- 福斯卡里宫坐标：45°26′04″N 12°19′36″E / 45.434464°N 12.326564°E / 45.434464; 12.326564福斯卡里宫（Ca' Foscari）是意大利威尼斯的一座意大利哥特式建筑，位于多尔索杜罗区的大
- 蛋白质三级结构蛋白质三级结构（英语：Protein tertiary structure）是在生物化学里指蛋白质整体几何形状，亦称为其折叠。蛋白质分子是一连串的氨基酸一条线地接结，基本上假定其会有一可作用其生物
- 魔怪妖怪，指草木或者动物等改变成为的精怪，也指怪异、反常的事物与现象。妖怪通常存在于人类想像与传说之中，难以运用科学方法证明其真伪。研究这方面的学问，称之为妖怪学，包含在民俗
- 左岸在法国巴黎地区，左岸（法语：La Rive Gauche，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Cod
- 张启发张启发（1954年1月23日－），湖北公安人，汉族，中国农作物遗传学专家。1964年就读于荆州中学。1976年毕业于华中农学院。1985年获美国加利福尼亚大学戴维斯分校博士学位。华中农业大学
