李未

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

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

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

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

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

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

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

相关

  • 糖尿世界糖尿病日代表符号“包 圈”(Universal blue circle symbol for diabetes.)糖尿病(拉丁语:diabetes mellitus,缩写为DM,简称diabetes)是一种代谢性疾病,它的特征是患者的血糖长
  • 解放犹太解放运动(英语:Jewish emancipation)是欧洲犹太人权利自18世纪起从外在和内在同时争取的这一进程。包括同等公民权利的认定,以及个人公民身份的授予等。成果来自于社区内的
  • 同步辐射同步辐射是带电粒子的运动速度接近光速(v≈c)在电磁场中偏转时,沿运动的切线方向发出的一种电磁辐射,最先在电子同步加速器上发现,故得此名,又称同步加速器辐射。它与回旋辐射(由回
  • 泄殖腔泄殖腔(Cloaca)在动物学解剖学中指在某些动物种类背后作为肠道、尿道及生殖道出口。一般有泄殖腔的动物都属于两栖类、爬虫类、鸟类及哺乳类的单孔目。上述动物直肠末端较其他
  • 罗伯特领地鲁珀特地,或鲁珀特王子地(Rupert's Land),是英属北美的一个地区,包括哈德森湾流域的大部分,在1670年至1870年的200年时间内名义上归哈德逊湾公司所有,实际上由大英帝国所统治。虽然
  • 巴托罗梅奥·埃乌斯塔基奥巴托罗梅奥·埃乌斯塔基奥(英语:Bartolomeo Eustachi),(1520年-1574年),文艺复兴时期欧洲教皇医生,《论解剖》一书的作者,他在此书中首次描述了肾上腺,包含有关肾脏和耳朵的知识。欧氏
  • 台湾乳白蚁台湾乳白蚁(Coptotermes formosanus)又称家白蚁或台湾家白蚁,是一种原产于台湾(也是此生物的名称来源)以及日本、中国大陆东部的白蚁。台湾乳白蚁的破坏能力相当强,又称为“超级白
  • 业余学家民间科学家(英语:crank),又称民科、妄人科学家、科妄,具有偏执倾向,在缺乏科研素养的同时,运用大规模宣传、向有所属单位的科研工作者寄送电子邮件、求见权威科研工作者等方法强行
  • span class=nowrapAgsub2/subSeOsub4/sub/span&硒酸银是一种无机化合物,化学式为Ag2SeO4。微溶于水而易溶于氨水。硒酸银由碳酸银和硒酸反应得到。:硒酸银可以和氨形成配合物。
  • 威廉·詹宁斯·布莱恩威廉·詹宁斯·布莱恩(William Jennings Bryan,1860年3月19日-1925年7月26日),美国政治家、律师。能言善辩,曾三次代表民主党竞选总统(1896、1900、1908),均失败。他是美国现代20世纪