首页 >
李 未
✍ dations ◷ 2025-02-23 14:18:14 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 肌张力障碍肌张力障碍（Dystonia）是由于身体的肌肉不随意地持续收缩，造成肌肉产生变形，而无法依照自身的意思活动。肌张力障碍是一组疾病的总称，是骨骼肌张力的病理性改变。患者的肌张力时高
- 蒂内尔征Tinel征是一种神经损害的表现。它是通过叩击神经损伤的部位引起“如坐针毡（英语：Paresthesia）”样的刺痛或蚁走感。它的名字来自法国神经学家Jules Tinel（1879-1952）。举个例子，在
- 热那亚热那亚（意大利语：Genova，旧译柔鲁、热诺瓦）是意大利北部的港口城市，属于利古里亚大区，是该大区首府，并且是意大利第六大城市。热那亚是个历史很悠久的古城。早在古罗马建城之前，利古
- 生长激素抑制激素· extracellular region · extracellular space· cell surface receptor linked signaling pathway · G-protein coupled receptor protein signaling pathway · ce
- 拉瓦锡安托万-洛朗·德·拉瓦锡（法语：Antoine-Laurent de Lavoisier，1743年8月26日－1794年5月8日），法国贵族，著名化学家、生物学家，被后世尊称为“近代化学之父”。他使化学从定性转为定量
- TrEMBLUniProt（联合的蛋白）是一个全面的，高质量的，免费使用的蛋白质序列与功能信息数据库，许多内容来自基因组计划，它还包含了大量来自研究文献的关于蛋白的生物学功能信息。UniProt共同
- 私立学校私立学校或称民办学校，一般指非由地方政府或者中央政府管理，全部或者部分的经费依靠学生的学费来维持学校经营而非公共资金，且校方有权自主选择生源的学校，与私立学校相对应的为
- 拉姆·纳特·考文德拉姆·纳特·科温德（Ram Nath Kovind，1945年10月1日－）是现任印度总统，隶属印度人民党。科温德于1991年加入印度人民党。他于1994年至2006年担任联邦院议员。2015年至2017年期间担
- 魏晋南北朝魏晋南北朝（220年—589年），又称三国两晋南北朝，是中国历史上的一段长达三百多年的混乱时期，朝代更迭速度很快，并存在有多个政权并存的局面，有相当长的时间是南北对峙。这个时期由22
- 诉诸动机诉诸动机（Appeal to motive），或称诛心论、诛心之论，是诉诸人身谬误的一种，系借由质疑提出主张者的动机，而论证或明示暗示其主张不合理。主张者背后特定的动机或利害关系只是提出论
