首页 >
李 未
✍ dations ◷ 2025-11-22 08:05:37 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 负染色法负染色法（Negative stain）是一种染色方法，常用于不透光液体标本的镜检。由于其染色处理过程并非针对菌体本身，故又称“衬托染色法”、“间接染色法”。在负染色法中，标本不需要热
- 热那亚热那亚（意大利语：Genova，旧译柔鲁、热诺瓦）是意大利北部的港口城市，属于利古里亚大区，是该大区首府，并且是意大利第六大城市。热那亚是个历史很悠久的古城。早在古罗马建城之前，利古
- 化学史化学史的范围从远古时代一直延伸到今日。到了公元前100000年，各个古文明的科技，像是从矿石提炼金属、制作陶器、酿酒、制作颜料、从植物中提取香料和药物、制备奶酪、染布、制
- 规范性规范伦理学（英语：normative ethics）研究人们在日常生活的道德行为中所遵守的规则。当人们思考对于某件事情应该怎样做出对的行为之时，规范伦理学的各种理论试图给出不同的行为指
- 浏览器网页浏览器（英语：Web Browser，常简称为浏览器）是一种用于检索并展示万维网信息资源的应用程序。这些信息资源可为网页、图片、影音或其他内容，它们由统一资源标志符标识。信息资
- 土壤呼吸土壤呼吸(Soil respiration)，生物在土壤中呼吸作用产生二氧化碳的过程，包含植物的根、根际、微生物和动物的呼吸。土壤呼吸是重要的生态系统过程，碳在土壤中以二氧化碳(CO2)的
- 后生动物真后生动物（学名：Eumetazoa）是指所有具有细胞组织的动物。动物中只有侧生动物不属于真后生动物。真后生动物细胞间有连接，就是所谓的"紧密连接"。它们的胚胎最少会发生两个胚层：
- 督政府督政府（Directoire exécutif），是法国大革命中于1795年11月2日至1799年10月25日期间掌握法国最高政权的政府，前承国民公会，后启执政府。1795年8月，热月党控制的国民公会颁布了新的
- 网络天书网络天书，是基于Wiki技术的网站，2003年8月1日成立，是中国大陆最早的Wiki站点。宗旨是：建立一个完整、准确，内容开放和立场中立的网络天书（不仅仅是百科全书），形成一个尽可能涵盖各个
- 洋红洋红色（英语：Magenta），又称品红色、紫红色，是介于红色和紫色之间的颜色。在光谱中品红色并非单一波长的光，而是由等量的红光与蓝光混合而得。品红色与黄色、青色构成了减法三原色
