首页 >
李 未
✍ dations ◷ 2025-11-30 12:50:43 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 酸杆菌门酸杆菌门（Acidobacteria）是新近被分出的一门细菌。它们是嗜酸菌。现在对它们研究还很少，但它们在生态系统中具有重要作用，比如土壤中。
- 希舒美11–14 h (single dose) 68 h (multiple dosing)阿奇霉素（Azithromycin, /əˌzɪθroʊˈmaɪsᵻn/ ）是一种属于大环内酯的抗生素，于1980年被发现，1981年推出。又翻译作阿红霉
- 顺视黄酸维A酸(Tretinoin、ATRA)，又称全反式维甲酸及视黄酸，分子式：C20H28O2，分子量300.44，CAS号302-79-4，熔点180℃。医学导航: 皮肤附件解剖/生理/发育病理/先天/肿瘤, 症状/齐名手术,
- 拟交感神经拟交感神经药，指与兴奋交感神经的效应相同的药物，也叫做拟交感药物。拟交感药的主要目的是兴奋肾上腺素受体。其中包括肾上腺素、去甲肾上腺素、麻黄碱及一些合成药如异丙肾上
- 饱和脂肪酸脂肪酸（英语：Fatty acid）是一类羧酸化合物，由碳氢组成的烃类基团连结羧酸所构成。三个长链脂肪酸与甘油形成三酸甘油酯（Triacylglycerols），为脂肪的主要成分，归于脂类。饱和脂肪酸（Sa
- 红外线天文卫星红外天文卫星（Infrared Astronomical Satellite，IRAS）是在太空中的天文台，以红外线巡天，执行勘查整个天空的任务。红外天文卫星是美国NASA、荷兰荷兰太空探测组织（Netherlands Age
- 微笑的佛陀微笑的佛陀（Smiling Buddha）是经联合国安理会常任理事国证实的印度首次核试验。印度外交部（MEA）曾声称，该核试验是“和平核爆炸（英语：Peaceful nuclear explosion）”（Peaceful nuclea
- 棋盘棋盘，为容纳棋子以标明方位、状态的物品，是棋类三要素之一。棋盘也可用于规则说明或流程表示。棋盘类型一般是画在版图上，或是其他如沙地的平面上用简单的几何线条所组成，但也有
- 惠廷厄姆迈克尔·斯坦利·惠廷厄姆（英语：Michael Stanley Whittingham，1941年12月22日－），英国化学家，锂离子电池发明者。纽约州立大学旗下宾汉顿大学材料研究所和材料科学与工程项目研究所
- 分子生物学中心法则分子生物学的中心法则（英语：The central dogma of molecular biology，又译分子生物学的中心教条），首先由佛朗西斯·克里克于1958年提出，并于1970年在《自然》上的一篇文章中重申：中
