李 未

✍ dations ◷ 2025-12-01 12:56:14 #李 未
李未(1943年6月8日-),北京人,中国计算机专家,中国科学院院士,北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究,研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系,1983年在英国爱丁堡大学计算机科学系获博士学位,曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员,欧洲共同体发展信息战略计划(ESPRIT)及德国不莱梅大学教授级研究员,德国萨尔大学(Zuse)客座教授。1986年任教授,并被批准为博士导师,1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法,系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题,结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论,解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年,当选第十一届全国政协委员,代表科学技术界,分入第三十一组。并担任教科文卫体委员会专委。

相关

  • 临床死亡临床死亡是一个医学术语,指心跳、呼吸停止。心跳停止的5至8分钟,又可称临床死亡期,人体仍可复苏。之后,人体进入生物学死亡期,人体无法被复苏。
  • 丙酮丙酮也称作二甲基酮、二甲基甲醛,简称二甲基醛,或称醋酮、木酮,是最简单的酮,化学式CH3COCH3,为一种有特殊臭味、薄荷气味的无色可燃液体。在常温下为无色透明液体,易挥发、易燃,有
  • 鹿花菌孢印黄色异养腐生真菌美味鹿花菌(学名:Gyromitra esculenta),又名鹿花蕈或河豚菌,是鹿花菌属下的假羊肚菌,分布在欧洲及北美洲。它们生长在针叶林的沙质土壤,于春天及初夏长成。子
  • 水土流失水土流失(也被称为侵蚀作用或土壤侵蚀)是自然界的一种现象,是指地球的表面不断受到风、水、冰融等外力的磨损,地表土壤及母质、岩石受到各种破坏和移动、堆积过程以及水本身的损
  • 德新社德新社,全称德意志新闻社或德国新闻社(德语:Deutsche Presse Agentur,简写为DPA),是世界大通讯社之一。建于1949年的西德,为国家通讯社,两德统一后,成为德国全境的官方通讯社。其总部
  • 卵菌纲见内文卵菌门(学名:Oomycota)或卵菌纲(学名:Oomycetes),俗称水霉 (water mold),是一种与真菌很相似的真核微生物,不具叶绿素,不进行光合作用,需将养分在体外分解后,再进行吸收。但根据亲
  • 原生质体原生质体的英语(Protoplast)来自于古希腊语 πρωτόπλαστος 读prōtóplastos,有"首先形成"的意思。这个词在宗教语境中代表第一个人,或者更广泛的说法是一个物种的
  • 原子轨道原子轨道(德语:atomorbital;英语:atomic orbital),又称轨态,是以数学函数描述原子中电子似波行为。此波函数可用来计算在原子核外的特定空间中,找到原子中电子的概率,并指出电子在三
  • 同步辐射同步辐射是带电粒子的运动速度接近光速(v≈c)在电磁场中偏转时,沿运动的切线方向发出的一种电磁辐射,最先在电子同步加速器上发现,故得此名,又称同步加速器辐射。它与回旋辐射(由回
  • 癔病歇斯底里(Hysteria)指无法控制的情感发泄。在过去是一种精神疾病的名称,又被称为癔病或癔症。症状是由于未知恐惧等原因而情绪失控,或幻想身体某部位不舒服,却无法被医学检查出来