首页 >
李 未
✍ dations ◷ 2025-04-26 13:17:38 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 瘀血瘀血（英文：Blood stasis），又叫血瘀，是中医里面一个重要的病理过程。在中医理论中，指的是由于气虚使血液汇聚或者流速变慢，它通常被理解成属于生物医学里血液学的疾病，比如出血、充血
- 特应性湿疹异位性皮肤炎（Atopic dermatitis，简称AD），又叫过敏性皮肤炎或异位性湿疹（Atopic eczema），常见症状包含发痒、红肿，以及皮肤龟裂。发炎区域常有清澈液体流出，液体会随着发炎时间越久而
- 耳鼻喉科耳鼻喉科学（Otorhinolaryngology /oʊtoʊˌraɪnoʊˌlærənˈɡɒlədʒi/；亦称为：otolaryngology-head and neck surgery）是一门医学专科，专门研究耳、鼻、喉病变的诊断及治
- 坐厕马桶，又称便桶、粪桶、恭桶、虎子、木马子等，是指承接粪便、尿溺的厕所用具。马桶的使用方式为坐式，与蹲坑式厕所（也称为蹲式马桶）相对。尿罐、尿壶、尿盆等则仅限于承接尿液。广
- ALSALS可以指：
- 母亲年龄高龄产妇较广义的定义是指在年龄较大时才分娩的妇女，不过有关年龄的定义，有许多不同的标准。在西欧、北欧及南欧，初次怀孕的妇女其平均年龄是27至29岁，在1970年代初期则是23至25
- 普罗旺斯-阿尔卑斯-蓝色海岸普罗旺斯-阿尔卑斯-蓝色海岸（法语：Provence-Alpes-Côte d'Azur）是法国东南部的一个大区，南邻地中海。面积31,400平方公里，人口4,506,151人。下辖上普罗旺斯阿尔卑斯省（04）、上阿尔
- 马拉地语马拉地语（मराठी Marāṭhī、Marathi language） 是印度的22种规定语言之一，在马哈拉施特拉邦大约有 9 千万使用者。马拉地语有悠久的历史，据报可在8世纪的碑文中找到。马拉
- 格物致知四配颜回 · 孟子 · 曾参 · 孔伋日本藤原惺窝 · 林罗山 · 室鸠巢新井白石 · 雨森芳洲朝鲜薛聪 · 权近 · 吉再 · 安珦 · 李穑李滉 · 王仁 · 李齐贤
- 野生型野生型是物种在野生环境下的典型表型。野生型一词最初表示在一基因位点上有与突变型相对应的未变异基因，现在由于认识到物种内绝大多数基因座位上存在较多等位基因，因此一个统
