首页 >
李 未
✍ dations ◷ 2025-12-10 01:42:33 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 根西根西岛（英语：Guernsey），译作根西或耿西，是英国的王权属地之一，位于英吉利海峡靠近法国海岸线的海峡群岛之中，同泽西外各岛岛组成了“根西行政区”（Bailiwick of Guernsey），首府为圣彼
- 西酞普兰西酞普兰（Citalopram）是一种很强的选择性5-羟色胺再吸收抑制剂（SSRI）型的抗抑郁药，其药物形态为氢溴酸西酞普兰（Citalopram Hydrobromide），商品名为“喜普妙”（Celexa）。在临床上常用
- 冰山冰山（英语：Iceberg）是一块大若山川的冰，脱离了陆上的冰川或冰架，并漂浮在广阔的水面上。由于冰山质地结实坚硬、体积大，与船擦撞时常导致船难，其中较著名的有1912年所发生的泰坦尼
- 九原区九原区（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
- 维斯孔蒂家族维斯孔蒂家族（意大利语：Visconti），或译维斯康堤、维斯康蒂，是一个中世纪至文艺复兴早期的意大利贵族家族，该家族于1277年取代德拉·托雷家族成为米兰领主，并于1395年被神圣罗马帝国
- 亚洲太空竞赛亚洲太空竞赛系指数个亚洲国家设有航天机构，并于太空相关科学、科技任务相互竞争，媒体则将之与过去美国及苏联间的太空竞赛相类比。如同过去的太空竞赛，各国将国家安全扩展至太
- 小古猫属小古猫属（学名：Miacis），又名细齿兽，是一属已灭绝的细齿兽类，生存于6500-4200万年前的古新世晚期。它们代表了现今食肉目的祖先，小古猫有五爪，大小像鼬，生活在北美洲及欧洲大陆。它们
- 狭鼻小目见内文狭鼻小目（Catarrhini）是灵长目简鼻亚目中三个小目之一，包含了旧世界猴（猴总科）及猿（人猿总科）。后者再细分为长臂猿科及人科。以往认为人类及其已灭绝的近亲或祖先是一个独立
- 七年战争欧洲大陆维持战前态势，英国、法国、西班牙殖民地变更。七年战争发生在1754年至1763年，而其主要冲突则集中于1756年-1763年。当时世界上的主要强国均参与这场战争，其影响覆盖欧
- 格拉萨·马谢尔格拉萨·马谢尔 DBE（葡萄牙语：Graça Machel，葡萄牙语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicod
