首页 >
李 未
✍ dations ◷ 2025-11-29 17:33:49 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 土耳其语波黑 希腊 伊拉克 科索沃 北马其顿土耳其语（Türkçe；.mw-parser-output .audiolink a{background:url("//upload.wikimedia.org/wikipedia/commons/f/f7/Loudspeaker
- 情色描写历史情色描写（英语：erotic depictions）包括以绘画、雕塑、摄影、戏剧、音乐以及写作的手法描述人类的性相关的场面，这在历史上几乎所有文明都曾产生过，不分古今东西。在早期人类文化
- 笑气一氧化二氮或氧化亚氮（英语：Nitrous oxide），无色有甜味气体，又称笑气，是一种氧化剂，化学式N2O，在一定条件下能支持燃烧，但在室温下稳定，有轻微麻醉作用，其麻醉作用于1799年由英国化学家
- 超声造影成像超声造影成像是超声造影剂在传统超声成像中的应用。超声造影剂靠声波在不同介质的交界面反射的方式不同来增强对比。这种交界面可以是小气泡的表面，或者其它更加复杂的结构。
- 课程教程是一个精心设计的教学计划，藉以向学生传授社会认为重要的学识及传统的价值观。课程不限于课堂内，亦可以包含课堂以外的非规范学习。 广义地讲，课程是学习者从无知通过学习
- 济宁医学院济宁医学院（Jining Medical University）, 为中国山东省本科高等医学院校，位于山东省济宁市。
- 伊凡四世伊凡四世·瓦西里耶维奇（俄语：Иван IV Васильевич，1530年8月25日－1584年3月18日），又被称为伊凡雷帝（俄语：Иван Грозный），俄罗斯沙皇国的开创者。留里克王朝
- 格波格波（lattice wave）是原子热振动的一种描述。从整体上看，处于格点上的原子的热振动可描述成类似于机械波传播的结果，这种波称为格波，即晶格的振动模。晶格具有周期性，因此晶格的振
- 金属材料成形金属材料成形是指将金属材料加工制造成可以使用的成品或半成品。传统意义上分为冷加工（机械加工）和热加工两方面。
- 拉法叶百货总店巴黎老佛爷百货公司，正式名称为老佛爷百货奥斯曼店（法语：Galeries Lafayette Haussmann），是法国连锁百货公司老佛爷百货（法语：Galeries Lafayette）（又译为“拉法叶百货”）的总店，位于巴
