首页 >
李 未
✍ dations ◷ 2025-12-10 08:12:57 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 左氧氟沙星左氧氟沙星（英语：Levofloxacin），常见商品名Levaquin，为一种氟喹诺酮类广谱（英语：broad-spectrum antibiotic）抗细菌药。本品可用于治疗细菌性的鼻窦炎、肺炎、泌尿道感染、慢性前列
- 2018年－2019年刚果基伍埃博拉出血热爆发2018年－2020年基伍埃博拉出血热爆发始于2018年8月1日，至今尚未结束。为发生在刚果民主共和国东部的埃博拉病毒疫情，于2019年6月扩散至邻国乌干达，截至2020年1月20日，已有超过3300
- 医药分业医药分家（业）是指开立处方跟调剂药物分离的一种制度。医药分家在西方的起源约可追溯到亚历山大大帝时代。相传亚历山大大帝在东征回程时肠胃不适，其御用医师为其治疗时不慎用药
- 隐秘部位隐秘部位、私密部位、私密地带、隐私部位、私处或下体（英语：intimate part，personal part，pubic area、private part或private zone；日语：プライベートゾーン），指人体出于礼仪、得体
- 地氟烷地氟醚（英语：Desflurane），又称地氟烷，是卤代醚麻醉药之一，常用于维持麻醉状态。和其他卤代醚麻醉药一样，地氟醚是外消旋体。地氟醚和七氟醚正逐步取代异氟醚成为人用全身麻醉药的首
- 火火部，为汉字索引中的部首之一，康熙字典214个部首中的第八十六个（四划的则为第二十六个）。就繁体和简体中文中，火部归于四划部首。火部通常是从上、下、左方均可为部字。当上方为
- 人类免疫不全病毒人类免疫缺陷病毒（英语：human immunodeficiency virus，簡稱HIV，又称艾滋病毒）是一种感染人类免疫系统细胞的慢病毒，属逆转录病毒的一种。普遍认为，人类免疫缺陷病毒的感染导致艾滋
- 笛笛是一种管乐器，是属于无簧片的木管乐器，由通过乐器开口的空气来发声。依照霍恩博斯特尔-萨克斯分类法，笛属于边棱音气鸣乐器（edge-blown aerophones）常见的笛为直身长管，除了吹奏
- 放射虫放射虫门（学名：Radiozoa）又名放线虫，为海中浮游生物，有如球形对称，带有硅壳，壳上有美丽的花纹。身体内有膜质中央囊，囊面穿有许多小孔，将身体分为内外两部分，外部被胶状物质，多有液泡，内
- 文森城堡文森城堡（法语：Château de Vincennes）坐落于法国法兰西岛大区马恩河谷省（94省）文森市（巴黎东边），位于巴黎地铁1号线终点站。文森城堡建于1337年至1373年，曾是法国非常重要的皇家军事
