姓名：李未工作部门：北京航空航天大学性别：男技术职称：教授最高学位：博士民族：汉籍贯：北京联系方式：浙江工业大学计算机科学与技术学院西湖区留和路288号310023Email:blj@zjut.edu.cn电话：0571-85290136主要研究方向：计算机软件与理论简历：李未，1943年生。1966年毕业于北京大学数学力学系，1983年在英国爱丁堡大学获计算机科学博士学位。1986年起任北京航空航天大学计算机学院教授，软件开发环境国家重点实验室主任，原北京航空航天大学校长。现任国务院学位委员会委员，科技部专家顾问委员会委员，教育部计算机教学指导委员会主任，《中国科学（SeriesF）》主编，《FrontiersofComputerScienceinChina》主编，电子学会副理事长。曾任英国科学与工程委员会高级研究员（纽卡斯尔大学）、英国爱丁堡大学计算机系研究员、德国不莱梅大学教授级研究员、德国萨尔布吕肯大学Zuse讲座教授。研究（情况）项目：973计划“网络环境下海量信息的组织与处理的理论与方法研究”和“海量信息的协同性与可生存性的理论和实践研究”项目首席科学家。发表的论文、专著、教材：已发表学术论文100余篇，专著2部。科研成果及专利：在计算机程序语义研究方面，发展了结构操作语义方法，首次定义了实用并发语言（PCPLs）中进程间通信、同步和异常处理的结构操作语义，解决了实用并发语言复杂语法结构的语义问题；建立了并发语言的翻译理论，证明了其正确性，在并发语言的比较研究方面取得了开创性研究成果。在软件测试的基础理论方面，基于科学理论和软件需求说明的修正都是逻辑推理的结果这一项发现，经过近10年的努力，提出了一个形式化的修正演算系统——R演算。证明了R演算的可靠性、完全性和可达性，即通过R演算可以形式的推导出科学理论或软件需求说明的所有可能的合理修正。研究生培养等教学情况：2005年，主持的《研究型学院人才培养模式与体系的研究与实践》项目获得国家教学成果一等奖。培养博士后8名、博士研究生52名和硕士生96名。奖励和荣誉：1995年国家自然科学二等奖；1999年光华科技进步一等奖；2004年度国家科技进步二等奖。其它：李未院士作为国家中长期科技发展规划中大型飞机重大专项的立项论证专家组组长和方案论证专家委员会主任委员，直接领导和参与了国家大型飞机重大专项的论证工作，并为“大型飞机”成功列入国家中长期科技发展规划做出了突出贡献，获得国务院表彰。本文最后由admin于2013-11-710:23:40重新编辑