首页 >
李 未
✍ dations ◷ 2025-11-27 13:12:22 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 曲马多曲马多，英文名：Tramadol（INN），是一种阿片类药物 ，主要用作镇痛药，可缓解普通到严重的疼痛。该药是人工合成的，作用于μ-阿片类受体以及去甲肾上腺素和血清张力素系统。 曲马多是于20
- 轻重音重读（stress）和重音（accent）在语言学中有时是接近同义的概念，皆指某音节在单字中或单字在句子中相对突显(prominent)的意思，不过在一些特别区分上，重音（accent）常常被应用在声音听觉
- 指称语义在计算机科学中，指称语义（英语：Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语
- 博物志《博物志》是晋朝张华所著的一部奇书，共十卷:136。内容包罗万象，有山川地理知识，有历史人物传说，有奇异草木虫鱼、飞禽走兽，也有神仙方术，可谓集神话、古史、博物、杂说于一炉。据
- 疫苗注射疫苗接种，是将疫苗制剂接种到人或动物体内的技术，使接受方获得抵抗某一特定或与疫苗相似病原的免疫力，借由免疫系统对外来物的辨认，进行抗体的筛选和制造，以产生对抗该病原或相似
- 一部分个别教会（英语：Particular Church；拉丁语：ecclesia particularis）或称地区教会，是天主教会的一种分类。根据天主教会圣统制和法典，在唯一天主教会的最高权力（即教宗及世界主教团）之下
- 肉食动物肉食性动物是指主要吃肉类的动物，跟草食性动物相较下肉食性动物有较好的立体视觉，其双眼多集中向前。肉食动物也可以吃腐肉或吸血。哺乳纲食肉目的动物大都是肉食性动物，但也有
- 浓硝酸硝酸（分子式：HNO3）是一种强酸，是三酸两碱其一，其水溶液俗称硝镪水。纯硝酸为无色液体，沸点83℃，味苦，在-42℃时凝结为无色晶体，与水混溶，有强氧化性和腐蚀性。其不同浓度水溶液性质有
- 乌克兰语乌克兰语（Українська мова），中文也称乌克兰文，是斯拉夫语族东斯拉夫语支的一种语言。它是乌克兰的官方语言，同时也是乌克兰两种主要通用语言之一。乌克兰文采用西
- 菊类植物菊类植物（学名：asterids）是在APG 分类法、APG II分类法、APG III分类法及APG IV分类法所确立的被子植物分支之一，是具有亲缘关系的一个植物类群，和蔷薇分支一起组成双子叶植物纲
