首页 >
李 未
✍ 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)在医学上是指细