李未

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

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

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

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

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

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

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

相关

  • 肝胆肠胃科胃肠学(英语:Gastroenterology,又称为肠胃病学)是医学的一个分枝,专门研究消化系统(从口腔到肛门的消化道)及相关疾病。
  • 丹麦语丹麦 格陵兰 法罗群岛 欧盟北欧理事会丹麦语(dansk, dansk 帮助·信息,宽式IPA:/d̥ænsɡ̊/),中文也称丹麦文,属于印欧语系-日尔曼语族-北日尔曼语支,通行于丹麦王国以及其属地
  • 搅拌机搅拌机(英语:Mixer)或称搅拌器,是一种透过齿轮装置运作的厨房用具,在要准备的食物碗中准备一组搅拌机,它可以自动化搅拌、敲打和跳动。
  • 纤维蛋白溶酶原激活物纤维蛋白溶酶原激活物(英语:plasminogen activator,或译为纤溶蛋白酶原激活物,简称纤溶酶原激活物)是一种丝氨酸蛋白酶,它可以将纤溶蛋白酶原转化为纤溶蛋白酶,从而促进纤维蛋白溶
  • 总科超科(Superfamily),又译作总科,是生物分类法中的一个层级,介于亚目和科之间。有时在超科和亚目之间还有下目(或称次目)的分类。一般超科名称的拉丁字尾是-oidea。
  • 下士下士是一种军衔,在中华民国国军军衔制度中,下士为士官的最低阶,下士之下的阶级为上等兵,下士之上的阶级为中士,在军队中通常担任班长或副班长职务。中华民国的士官(包含士兵)共分九
  • 阳起石阳起石是透闪石中的镁离子2%以上被二价铁离子置换而成的矿物。铁含量高的称为铁阳起石,颜色深绿色黑色。石棉状的阳起石可呈白色或灰色。晶体为扁平柱状、粒状或针状聚集。见
  • 水正果水正果又名柿饼汁,是一种韩国传统茶,呈深红色。水正果由柿饼、桂皮、姜、黑胡椒、蜂蜜或红糖为原料制成,一般还会有松子作点缀。水正果味道香甜。韩国人一般在饭后喝水正果来清
  • 原台南神社事务所原台南神社事务所位于台南市中西区,于2004年3月7日公告为市定古迹,在经过整修后做为忠义国小的图书馆使用。该建筑虽然名为神社事务所,但实际上可能为台南神社外苑的休憩所。该
  • 平原县平原县位于中国山东省西北部,是德州市下辖的一个县。三国时期刘备曾为平原县令;唐时一代书法家颜真卿曾任平原郡太守,抗击安禄山叛军。清光绪二十五年(1899年),山东义和团领袖朱红