首页 >
李 未
✍ dations ◷ 2025-10-14 14:20:48 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 疾病疾病是生物在一定原因的损害性作用下，因自稳调节紊乱而发生的异常生命活动过程，是特定的异常病理情形，而且会影响生物体的部分或是所有器官。一般会解释为“身体病况”（medical
- 红州与蓝州红州与蓝州是指美国近年来选举得票数分布的倾向。红色为共和党的代表色，蓝色则是民主党的代表色。一般说来，在西部沿海、东北部新英格兰地区的选民投票倾向较支持民主党，故有蓝
- 教养教养（parenting）也称为养育或育儿，是指促进及支持儿童的体适能、情绪、社会及智力的发展，从婴儿期间一直拓展到成人。教养也就是将一个儿童培养成长成成人的过程。父母的教养方
- 英国议会政治主题大不列颠及北爱尔兰联合王国议会（英语：The Parliament of the United Kingdom of Great Britain and Northern Ireland），中文简称为英国议会或联合王国议会，是英国和英国
- 广泛性焦虑障碍广泛性焦虑障碍（英语：Generalized Anxiety Disorder），是经常为小事而感到持续焦虑的状态，这种焦虑与周围任何特定的情景都没有关系，而一般是由过度的担忧引起。大部分人有时会感到
- 华氏华氏温标是一种温标，符号为℉。华氏温标的定义是：在标准大气压下，冰的熔点为32℉，水的沸点为212℉，中间有180等分，每等分为华氏1度。根据德国科学家华伦海特于1724年所写的一篇期
- 化学渗透化学渗透（Chemiosmosis，或称化学渗透偶联）是离子经过半透膜扩散的现象，这种现象与渗透类似。化学渗透是离子的运动，离子穿过选择性渗透膜，沿电化学梯度移动。更具体地的说，在细胞的
- 霍夫曼的故事霍夫曼的故事（Les Contes d`Hoffmann）是法国作曲家雅克·奥芬巴赫的最后一部歌剧，取材于德国浪漫派作家霍夫曼的小说，法语脚本由巴比埃和卡雷共同完成。1858年的《地狱中的奥尔
- 雾月政变雾月政变是西哀士连同拿破仑、富歇和塔列朗谋画的夺权计划。西哀士与拿破仑结盟，共同策划政变，并在共和8年雾月18∼19日（1799年11月9日～11月10日）推动政变，迫使督政辞职，驱散立法议
- 赘生(Neoplasia)新生物、息肉、瘜肉或赘生物（英语：neoplasm），是指身体细胞组织不正常的增生，当生长的数量庞大，便会成为肿瘤（英语：tumor）。而肿瘤亦可以是良性或恶性的。肿瘤（英语：tumor）在医学上是指细
