李未

✍ dations ◷ 2025-06-29 19:52:20 #中国科学院信息技术科学部院士,1943年出生,在世人物,李姓,北京人,北京大学校友,爱丁堡大学校友,北京航空航天大学教授,北京航空航天大学校长,中国计算机科学家

李未(1943年6月8日-),北京人,中国计算机专家,中国科学院院士,北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究,研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。

1966年毕业于北京大学数学与力学系,1983年在英国爱丁堡大学计算机科学系获博士学位,曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员,欧洲共同体发展信息战略计划(ESPRIT)及德国不莱梅大学教授级研究员,德国萨尔大学(Zuse)客座教授。1986年任教授,并被批准为博士导师,1997年当选为中国科学院院士。

1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法,系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题,结构操作语义方法已成为程序设计语言语义学的一种经典方法。

1992年建立了开放逻辑理论,解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。

1998年在中国首先倡导海量信息计算的理论与方法研究。

2002年开始任北京航空航天大学校长。2008年,当选第十一届全国政协委员,代表科学技术界,分入第三十一组。并担任教科文卫体委员会专委。

相关

  • 国民总收入国民收入(或称国民生产毛额、本地居民收入)是反映整体经济活动的重要指标,因此常被使用于总体经济学的研究中,亦是国际投资者非常注视的国际统计项目。反映本地居民收入的两个主
  • 红星头菌红星头菌(Aseroë rubra),又名红星头鬼笔,是澳洲很普遍的担子菌门真菌,其特征是带有腐肉的臭味及像海葵的外形。红星头菌可以在长满草及布满覆盖物的地方生长。它的外型像一颗红
  • 鄂伦春语鄂伦春语(Oroqen)是鄂伦春族的语言,使用者分布在中国大兴安岭、小兴安岭交接处中,包括内蒙古自治区的鄂伦春自治旗、札兰屯和黑龙江省的呼玛、逊克、爱辉、嘉荫县等。没有书写文
  • 燕青燕青,小说《水浒传》中的人物,自小在卢俊义家成长,北京大名府人(今河北邯郸大名县),是三十六天罡星最后一名,混号"浪子"。原为“北京大名府”人氏,自幼父母双亡,在卢俊义家中长大为奴
  • 古勒姆特区古勒姆特区是巴基斯坦联邦直辖部落地区的一个特区。总面积3380 km²,总人口448310(1998),人口密度133/km²。主要语言有普什图语、乌尔都语及英语。行政中心位于帕拉奇纳。古
  • 12月1日12月1日是公历一年中的第335天(闰年第336天),离全年结束还有30天。参见: 联合国纪念日
  • 自由意志党自由意志党(英语:Libertarian Party),也译作自由党,是一个在1971年成立的美国政党。目前是美国第三大政党,也是美国发展速度最快的政党,拥有超过二十万名注册选民,以及超过六百名党
  • 鞍之战鞌之战又名鞍之战,是中国历史上春秋时期齐国和晋国之间发生于前589年六月十七的一场战斗。作战的地点是鞌(今济南西北)。前589年,齐顷公率齐军讨伐鲁国及卫国,鲁国及卫国派使者至
  • 多中心法律系统多中心法律(Polycentric law)是一种独特的法律系统,其中多个法律提供者相互竞争或彼此司法管辖范围相互重叠,相对于垄断性的制定法系统,后者每个司法辖区有一个单一的法律提供者
  • 氯酸铁氯酸铁是一种无机化合物,化学式为Fe(ClO3)3。它可由氯酸铵水溶液和氢氧化铁的反应制得。氯酸铁易溶于水,形成红黄色溶液。其碱式盐难溶于水。