首页 >
李 未
✍ dations ◷ 2025-03-07 10:53:12 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 支原体鸡毒支原体 M. gallisepticum 生殖支原体 M. genitalium 人型支原体 M. hominis 猪肺炎支原体 M. hyopneumoniae 绵羊肺炎支原体 M. ovipneumoniae 肺炎支原体 M. pneumonia
- 经济体系一群经济个体之间具有相互联系关系，如礼物经济、自然经济、市场经济、计划经济、混合经济等经济体系。市场经济体系中个体间的通货可以互相兑换，任一个体的变动都会对总体造成
- 官方语言列表索引 国防预算 石油储量 军事（武装部队） 死刑 国债 生育率 最高点 官方语言 地理 政体 面积 代码 陆地面积 人口 人口密度 国内生产总值 国徽 国旗 国歌 国家格言 首都 城市
- 尿道球腺液预射精液、射精前液（英语：pre-ejaculate）或考珀液（Cowper's fluid），俗称先走液（pre-cum），是当男性的阴茎受到性刺激，或大脑沉浸于性幻想，而产生性兴奋时，从尿道口流出的透明无色弱碱性，生
- 珠宝珠宝，是装饰用的饰物，其上多是宝石或半宝石镶嵌在贵金属上。追溯至人类的史前时期，已有将取动物的牙、贝壳等物件用来装饰。随着人类社会的发展，珠宝由配饰用途更演变为具有宗教
- 外星生命外星生命指存在于地球以外的生命体。这个概念囊括了简单的细菌到具有高度智慧的“外星人”。研究和测试关于外星生命猜想的学科被称作地外生物学或天体生物学。自从20世纪中
- 盖瑞·贝克知识产权市场化自由放任小政府主义负所得税公开市场操作私有财产私有化经济主题加里·史丹利·贝克（英语：Gary Stanley Becker，1930年12月2日－2014年5月3日），美国著名经济学家，芝加
- 相扑相扑（日语：相撲／すもう sumō）是日本传统的神道仪式与体术，由两名力士裸露上身，互相角力。由神道的占卜神事发展而成，作为专业竞技项目，则称为大相扑。相扑是日本的国技和国际性的
- 北方少数民族北狄是中国春秋时期，周朝诸侯国对居于漠以南的北方人群称呼，传说北狄是源出黄帝的孙子始均，实际上是晚商时从华夏分裂出来的部族。与东夷、西戎及南蛮，合称四夷。春秋时，北狄分为
- 纳诺比纳诺比（Nanobe）是一种微小的丝状结构，最初在一些岩石和沉积物中发现。一些科学家认为纳诺比是最小的生命形式，它的大小只有已知最小细菌的1/10。目前还没有这种结构为否生物体的
