首页 >
李 未
✍ dations ◷ 2025-12-11 16:07:33 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 核电存废问题核电存废问题是人类社会对核能发电使用的持续的争议性讨论。第一个成功的核裂变实验装置在1938年的柏林被德国科学家奥托·哈恩、莉泽·迈特纳和弗瑞兹·斯特拉斯曼制成。在
- RARA1DKF、1DSZ、3A9E、3KMR、3KMZ、4DQM、5K13591419401ENSG00000131759ENSMUSG00000037992P10276Q6I9R7P11416XM_011525096、NM_000964、NM_001024809、NM_001033
- 免疫抗原性人体免疫系统对于特定抗原能够产生免疫反应，则称其有免疫原性。与反应原性不同之处在于人体在对某些抗原本身不会直接产生免疫反应，而要在类似的另一种抗原刺激下，获得对前一种
- 突厥语大词典突厥语大词典（阿拉伯语：ديوان لغات الترك，Dīwān Luğāt al-Turk）是一部成书于1070年代的以阿拉伯语注释突厥语词汇的词典，由喀喇汗王朝语言学家麻赫穆德·喀
- 华氏温标华氏温标是一种温标，符号为℉。华氏温标的定义是：在标准大气压下，冰的熔点为32℉，水的沸点为212℉，中间有180等分，每等分为华氏1度。根据德国科学家华伦海特于1724年所写的一篇期
- 埃利伟氏症候群埃利伟氏综合征（Ellis-van Creveld Syndrome、EVC）又称为软骨外胚层发育不良（chondroectodermal dysplasia），是一种罕见遗传疾病，也是骨骼发育不良的类型之一。这种疾病会造成包括
- 农杆菌属农杆菌属（学名：Agrobacterium），又称土壤杆菌属，是革兰氏阴性菌的一个属，常通过水平基因转移导致植物根瘤的产生，该属以向植物导入DNA的能力而闻名，因此农杆菌属也是用于改良植物的重
- 辉锑矿辉锑矿为组成锑矿石的重要有用矿物，晶体呈柱状、针状。颜色和条痕均为铅灰色。金属光泽。相对密度4.6，硬度2-2.5.解理 面上有纹理。形成于低温热液矿床中，常与辰砂、雄黄、雌黄
- 榛榛（学名：Corylus heterophylla）为桦木科榛属的植物。落叶灌木或小乔木；幼枝有软毛及腺毛；圆卵形至倒卵形的叶子，顶端稍平截，有长尖头，边缘有不规则锯齿和小裂片；早春先叶开花，雌雄同株
- 切萨皮克湾切萨皮克湾（英语：Chesapeake Bay），是美国面积最大的河口湾，位于美国大西洋海岸中部，为马里兰州和弗吉尼亚州三面环绕，仅南部与大西洋连通。其名来自阿尔冈金印第安语，意为“大贝壳湾
