首页 >
李 未
✍ dations ◷ 2025-11-25 05:24:41 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 医学主题词E01诊断类代码列表如下是MeSH"E01"类代码列表。MeSH由美国国家医学图书馆（National Library of Medicine, NLM）。这些内容的来源为文件“2006 MeSH Trees”。
- 黑龙江黑龙江（满语：ᠰᠠᡥᠠᠯᡳᠶᠠᠨᡠᠯᠠ，穆麟德：sahaliyan ula，太清：sahaliyan ula，蒙古语：Амар мөрөн），俄罗斯称之为阿穆尔河（俄语：Река Амур，罗马化：Reka Amur，IPA：.mw-pa
- 心收缩不全心跳停止（asystole，/əˈsɪstəliː/）也称为无心律，是指心脏无电气活动的状态，因此心肌不会收缩，也不会有供应血液给身体各部位。心跳停止是在医学上可以判定临床死亡或宣告死亡
- 嗅神经嗅神经是第一对脑神经，编号Ⅰ。嗅神经由特殊内脏感觉纤维组成，由上鼻甲以上和鼻中隔以上部粘膜内的嗅细胞中枢突聚集而成，包括20多条嗅丝。嗅神经的主要功能是将气味的感觉传递
- 分光光度计分光光度法（英语：Spectrophotometry）是一门对光谱进行量化研究的分析方法。主要涉及的电磁波谱范围是可见光、近紫外线与近红外线。这种方法不同于电磁波谱与时间分辨光谱。将
- 线粒体DNA线粒体DNA（英语：mitochondrial DNA，缩写作mtDNA）指一些位于线粒体内的DNA，与一般位于细胞核内的DNA有不同的演化起源，可能是源自早期细菌。虽然现存生物体中绝大多数作用于线粒体
- 煤矿煤矿是指富含煤炭资源的地方，通常也指采用地下采掘或露天采掘方式生产煤炭的工厂。当矿层接近地表时，使用露天开采的方式较为经济。矿层上方的土称为表土。在尚未开发的表土带
- 俄罗斯联邦总统俄罗斯联邦总统（俄语：Президент Российской Федерации）是俄罗斯联邦的国家元首。1993年12月12日通过的第一部《联邦宪法》，规定俄联邦是“共和制的
- 卡米洛·何塞·塞拉卡米洛·何塞·曼纽·胡安·拉蒙·法兰西斯科·德·杰罗尼莫·塞拉-特鲁洛克，伊利亚·佛拉比亚侯爵（西班牙语：Camilo José Manuel Juan Ramón Francisco de Gerónimo Cela y
- 细胞分裂素细胞分裂素（Cytokinins，缩写CK）是一类植物激素，，可促进植物根和芽中的细胞分裂或细胞质分裂（英语：Cytokinesis）。它们主要参与细胞生长和细胞分化，但也影响顶端优势，腋芽生长，和叶子衰
