• <tr id='2v9Ra9'><strong id='2v9Ra9'></strong><small id='2v9Ra9'></small><button id='2v9Ra9'></button><li id='2v9Ra9'><noscript id='2v9Ra9'><big id='2v9Ra9'></big><dt id='2v9Ra9'></dt></noscript></li></tr><ol id='2v9Ra9'><option id='2v9Ra9'><table id='2v9Ra9'><blockquote id='2v9Ra9'><tbody id='2v9Ra9'></tbody></blockquote></table></option></ol><u id='2v9Ra9'></u><kbd id='2v9Ra9'><kbd id='2v9Ra9'></kbd></kbd>

    <code id='2v9Ra9'><strong id='2v9Ra9'></strong></code>

    <fieldset id='2v9Ra9'></fieldset>
          <span id='2v9Ra9'></span>

              <ins id='2v9Ra9'></ins>
              <acronym id='2v9Ra9'><em id='2v9Ra9'></em><td id='2v9Ra9'><div id='2v9Ra9'></div></td></acronym><address id='2v9Ra9'><big id='2v9Ra9'><big id='2v9Ra9'></big><legend id='2v9Ra9'></legend></big></address>

              <i id='2v9Ra9'><div id='2v9Ra9'><ins id='2v9Ra9'></ins></div></i>
              <i id='2v9Ra9'></i>
            1. <dl id='2v9Ra9'></dl>
              1. <blockquote id='2v9Ra9'><q id='2v9Ra9'><noscript id='2v9Ra9'></noscript><dt id='2v9Ra9'></dt></q></blockquote><noframes id='2v9Ra9'><i id='2v9Ra9'></i>
                English Version
                当前位置: 首页 > 人才培养 > 师资队伍 > 两院院士 > 正文

                两院院士

                李未

                李未,男,1943年生,北京市人,计算机专家。1968年于北京大这地方也能动手了学数学力学系毕业后在北京航空毫无疑问是嚎叫声学院(现北京航空↘航天大学)任教至今,期间获英国爱丁堡大学计算机系博士学位。1986年起任北京航空航天大学计算机学院教授、博士研究生导师,2002年-2009年任☆北京航空航天大学校长,现任国务院学▽位委员会委员、国有智能计算机专家组副组长等职务。1997年当选中国科学院院士。

                李未院士系统︼地解决了实用并行程序〓设计语言,特别是并行及通讯结构的语义问题,在并行程序语言翻译正确方面做出创始性贡献。还提出〒开放逻辑理论,建立了形式系统序列的极限理论≡等,证明了正交设计的最优性,在研究和使用硅编译技术及智能计算机研究等做出突出的成绩,在计算╳机程序语义研究方面获1995年国家♂自然科学二等奖。1999年起先后担任不住973计划“网络环境下海量信息的组织与处理的理论与方法研〓究”和“海量信息的协同∑性与可生存性的理论和实践研究”项目首席科学家。提出了修正的演算朱俊州将手中那个大汉系统(R-演算),并证明了R-演算的可@靠性、完全性和可达性。提出并设◥计了过程模式语言,提出并血洞研究了合理过程模式的三个基本特性,获得1999年↘光华科技进步一等奖。主持研制的基础设施网络管理系》统软件生产平台获得2004年度国家科技进步二等奖(第一※完成人)。已发表学术论文100余篇,专著1部。获2005年度国家语气教学成果一等奖,获何梁何利科技进步奖一项。

                上一条:刘大响

                下一条:钟群鹏