首页 >
李 未
✍ dations ◷ 2025-12-03 11:25:40 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 消化系统消化系统（英语：digestive system）是多细胞生物用以进食、消化食物、获取能量和营养、排遗剩余废物的一组器官，其主要功能为摄食、消化、吸收、同化和排遗。其中有关排遗的部分，也
- 人类自愿灭绝运动人类自愿灭绝运动（英语：Voluntary Human Extinction Movement，简称VHEMT）是一场号召所有人放弃生育，逐步实现自愿性人类灭绝的环保运动。运动的支持者认为人类灭绝可以防止环境恶
- 高功能自闭症高功能自闭症（英语：High-functioning autism，简称HFA），指智商中等或更高患者所患有的自闭症，该类自闭症患者多数具有语言能力，学习能力较佳、自闭倾向较不明显；但语言理解与表达力、
- 磺胺对甲氧嘧啶磺胺对甲氧嘧啶是一种长效磺胺类抗菌药物，其INN名称是“Sulfametoxydiazine”。该药物可用于治疗泌尿道感染与麻风病等病症。该药物在血液中的半衰期尚不明确。医学导航：病菌
- 职业职业（英语：job），是一种日常性的规律劳动，其目的在于换取劳动所得（也就是薪资），亦象征在社会上的地位和名誉等等。职场上的专门行业，是对劳动的分类。职业是社会分工的产物，西方商品经
- 喂乳母乳哺育（Breastfeeding），亦称哺乳、授乳或母乳喂养，指的是女性以乳房喂食婴儿母乳的行为。婴儿有吮吸反射，因此可以吮吸乳房并吞咽母乳，专家建议在出生后一小时即可哺喂母乳，之后
- 卡西米尔·冯克卡西米尔·冯克（波兰语：Kazimierz Funk注，1884年2月23日－1967年1月19日），波兰生物化学家。他的主要贡献是在1912年明确阐述了维生素的概念。卡西米尔·冯克1884年出生于波兰华沙，父
- 电影手册《电影手册》（Cahiers du Cinéma），是一本法国电影杂志，1951年由安德烈·巴赞等人创办，其在电影史上占有重要地位，每年都会评选在法国上映电影的“年度十大”佳片名单。曾任杂志的
- 藻华水华（Water bloom）或藻华（Algal bloom），通常为学术所称“水体富营养化”而造成，是发生在淡水中，由水体中氮磷含量过高导致藻类,细菌或浮游生物突然性过度增殖的一种自然现象，同时也
- 诉诸动机诉诸动机（Appeal to motive），或称诛心论、诛心之论，是诉诸人身谬误的一种，系借由质疑提出主张者的动机，而论证或明示暗示其主张不合理。主张者背后特定的动机或利害关系只是提出论
