李未

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

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

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

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

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

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

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

相关

  • 基因组基因组(genome)在生物学中,是指一个生物体所包含的DNA(部分病毒是RNA)里的全部遗传信息,又称基因体。基因组包括基因和非编码DNA。1920年,德国汉堡大学植物学教授汉斯·温克勒(Hans
  • 马尼拉马尼拉(他加禄语:Maynila,英语:Manila),又称岷里拉,是菲律宾首都,位于小菲律宾的最大岛—吕宋岛马尼拉湾的东岸;今为菲第二大城,人口有150万;乃全国经济、文化、教育和工业中心。2013年
  • 深圳大学医学部深圳大学医学部成立于2008年12月。医学部下设基础医学院、生物医学工程学院、药学院、护理学院、口腔医学院、公共卫生学院、深圳大学医学中心、医学人文中心、校医院等。
  • 苏斯苏塞(阿拉伯语:سوسة‎  Sūsa)位于突尼斯东部哈马马特湾畔,是苏塞省的首府。位于首都突尼斯以南 140千米(87英里),有人口271,428人(2014年)。苏塞是一个渡假胜地,深受欧洲游客欢
  • 华纳兄弟电视网WB电视网(英语:The WB Television Network)是美国的一家电视台。于1995年1月11日开始播出。由华纳兄弟公司经营。2006年1月24日,CBS集团与华纳兄弟公司宣布将在秋季开播新的电视
  • 王姓大宗祠台南王姓大宗祠位于台南市北区,于民国九十二年(2003年)5月13日公告为市定古迹。该宗祠是台南在日治时期所兴建的宗祠之一,平日不对外开放,只有在过年过节时才会有王姓族人回来祭
  • 涂们涂们(1960年2月-),中国大陆电影演员,生于内蒙古呼伦贝尔市。2017年凭借电影《老兽》获得第54届金马奖最佳男主角奖。2005 李雪健2017 张译2011 王学圻2018 涂们2012 葛优2019 王
  • 南部军《南部军》(朝鲜语:남부군/南部軍 Nambugun,英语:Nambugun: North Korean Partisan in South Korea)为1990年韩国战争电影,于1990年6月2日上映,片长158分钟,由韩国著名导演郑智泳执
  • 国家环境卫星、数据及信息服务中心国家海洋和大气管理局(英语:National Oceanic and Atmospheric Administration,缩写NOAA, /ˈnoʊ.ə/;也简称国家海洋与气象局、国家海洋大气局)是隶属美国商务部的科技部门,主要
  • 甬剧甬剧,中国戏曲剧种之一,流行于宁波地区。舞台语言采用宁波方言。甬剧曲调包含基本调、快二簧、慢二簧等。甬剧剧目有《田螺姑娘》《两兄弟》《王鲲》《亮眼哥》《典妻》等。目