首页 >
李 未
✍ dations ◷ 2025-12-07 20:41:07 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 左炔诺孕酮左炔诺孕酮（Levonorgestrel）是一种用于快速避孕的短效药物。它可以抑制排卵，同时使宫颈黏液浓度增大，阻止精子前进。代表商品名称有“毓婷”、“安婷”“B计划”（Plan B）等。通常
- 克里米亚克里米亚半岛（又译克里木半岛；俄语：Кры́мский полуо́стров，罗马化：Krymskiy poluostrov；乌克兰语：Кримський півострів，转写：Krymskyi nivost
- 挪威语挪威语（norsk），中文也称挪威文，是日耳曼语族的一个分支，普遍通用于挪威，也是挪威的官方语言。挪威语与瑞典语和丹麦语十分相似，所以这三种语言的人可以互相沟通。由于丹麦语从十六
- 实习医师实习医师是一个医学相关的专业术语，在某些国家或地区是指几乎完成或已经完成医学院学业并拥有医学学位（英语：Medical degree），但尚未获得授权于没有监督的情况下独立执业的受训医
- 不来梅不来梅（德语：Bremen，国际音标：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Ge
- 恩氟醚恩氟醚（英文Enflurane，系统命名法名称(2-氯-1,1,2-三氟乙基)二氟甲基醚），是一种卤代醚麻醉药，适用于全身麻醉。本药由罗斯·特雷尔（Robert Terrell）于1963年发明并于三年后首次投入
- 花生四烯乙醇胺花生四烯乙醇胺，亦称N-花生四烯乙醇胺或AEA ，是一种内源性的大麻醇类神经传导物质。此命名取自梵文（和印度半岛宗教用语﹞的阿难陀(ananda)，意为”喜悦、极乐、欣喜”，以及酰胺。它
- 基因库基因库或基因池（英语：gene pool）是指同一种群中全部个体所含有的全部基因的集合。因此，每个个体所拥有的基因都是该族群各个成员所共享的。比如黑人、白人、红人、黄种人皆共享
- 米糠米糠是稻米加工中碾米工序得到的一种黄色的皮层，是稻米果实的皮层，也称为米皮、清糠。入药用的谷糠，多指米皮糠而言。一般中药选用的是米皮糠的内衣，中医称为“杵头糠”，又称“谷
- 电视网电视联播网（英语：Television network）是指电视台以多个地区性频道共同播出同一组节目的运作形式，多由民间业者使用。组成的原因多半基于法令或是经营策略的考虑：在有些国家因为法
