首页 >
李 未
✍ dations ◷ 2025-12-09 18:45:36 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 催眠药安眠药（英语：Hypnotic） （源自希腊语 Hypnos, sleep(睡眠)），是一类精神药物，用来提升睡眠品质，治疗失眠或术前麻醉，服用过量会致死。目前用于镇静（Sedation）的只有Afloqualone与Cloroqua
- Carl Jung卡尔·古斯塔夫·荣格（Carl Gustav Jung，1875年7月26日－1961年6月6日），瑞士心理学家、精神科医师，分析心理学的创始者。荣格出生于瑞士一个凯斯威尔的村庄。荣格六个月大时，家庭移
- 下颔骨骨折下颔骨骨折（Mandibular fracture），或称为下巴骨折（fracture of the jaw），是指下颔骨（英语：Mandible）发生折断、断裂的情形，约有60%的病例会断成两截 。此症可能会导致患者无法将嘴巴充
- 意义所指（英语：signifié），在语言学上，指发出讯息者想要表示或传达给发现者或接收者的理念；亦或发现者或接收者由该语境所推断的结果。在大多数语言中，有些字往往会有多种不同涵义；因此
- Csub4/subHsub4/subFe(CO)sub3/sub三羰基环丁二烯合铁，系统命名为三羰基·环丁二烯合铁(0)（化学式：(C4H4)Fe(CO)3）是一种中心铁原子与环丁二烯和羰基形成的有机金属化合物。这种特殊的配合物是有机化学中制备环丁
- 追溯法令追溯法令（拉丁语：ex post facto law、溯及既往；德语：Rückwirkung），相对于不溯及既往原则或祖父条款，是代表对新制度或新法律被设立前已发生或已裁决的案件，以该新法进行再审判的权
- 碳端C端（亦作C-端，英语：C-terminus），又称碳端、羧基端，指多肽链具有游离的α羧基的末端。在翻译过程中，多肽链是从N端往C端合成的，因而在书写多肽序列时，从N端开始书写，从左到右写到C端。
- 荆州荆州，中国东汉末至唐朝时的州，前身为监察区荆州刺史部。早期幅员广袤，包括今天湖北、湖南二省的大部以及邻省的小部，后分置湘州等州，隋朝以后辖境仅限于今湖北省荆州市一带。西汉
- 手性拆分手性拆分（Chiral resolution），亦称光学拆分（Optical resolution），或外消旋体拆分。在立体化学中，用以分离外消旋化合物成为两个不同的镜像异构物的方法，为生产具有光学活性药物的重
- 黄荷凤黄荷凤（1957年9月－），生于浙江嵊州，籍贯浙江临安，中国生殖医学家，现任上海交通大学医学院教授。2017年当选为中国科学院院士。1982年毕业于浙江大学医学院（原浙江医科大学），1989年获得
