首页 >
李 未
✍ dations ◷ 2025-09-18 04:33:13 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 末日世界末日包括以下几种层次：
- 格鲁及亚人格鲁及亚人（学名：Homo georgicus）是灵长目人科人属的一种，于2002年建议用来描述于1999年及2001年在格鲁吉亚德马尼西发现的头颅骨及颚骨化石，被认为是巧人及直立人的过渡形态。一
- Homininae人亚科（Homininae）是人科下的亚科，当中包括了人类及其已灭绝的亲属，以及大猩猩及黑猩猩。它亦包含了所有的原始人类，如南方古猿。直至1980年前，人科都只有人类一种，而其他的都是属
- 大路《大路》（意大利语：La strada）是意大利导演费德里柯·费里尼所执导的一部电影，也是他生涯的代表作之一，为影史上相当重要的一部作品。铁链表演者赞巴诺原先买来的女跟班死了，所以
- 黄金储备黄金储备是各国中央银行所持有的黄金资产。在金本位制度被放弃之后，仍由各国央行作货币发行准备之用。官方黄金储备是各国政府或银行所持有的金条或金币资产，相对于私人或非官
- 宇宙飞船航天器又名太空载具、航天器或航天器，是在地球大气层以外的宇宙空间中，基本按照天体力学的规律运动的各种飞行器。航天器与自然天体的不同之处在于其可以受控改变其运行轨道或
- 阿兰·孔涅阿兰·科纳（法语：Alain Connes，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Ge
- 张道陵张道陵（34年－156年），一名张陵，字辅汉，东汉沛国丰县（今江苏徐州市丰县）人，被视为正一道的创始者，是五斗米道的创始人。道教徒称他为张道陵天师、祖天师、正一真人。相传张道陵以虎为座
- 社交疏远社交疏远，也称为社交距离或保持社交距离，是一种意图阻止传染病传播或降低其速度的非药物性感染控制（英语：infection control）措施，其目的为减少感染者和未感染者之间的接触，并借此
- 徐义刚徐义刚（1966年10月19日－），江苏常熟人。岩石学家，中国科学院院士，现任中国科学院广州地球化学研究所所长。主要从事地幔岩石学、地球化学和深部动力学研究。1966年生于江苏省常熟市
