您现在的位置: 首页 >  院士信息 >  院士名单与简介 >  全体院士名单
院士信息

李未

 

【字号:    
李未

  计算机专家。1943年6月8日生于北京。1966年毕业于北京大学数学力学系。1983年获英国爱丁堡大学计算机科学博士学位。北京航空航天大学计算机系教授。软件开发环境国家重点实验室主任。1997年当选为中国科学院院士。

  从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。解决了实用并发语言的复杂语法结构的语义问题,在建立并发语言的翻译和比较研究理论方面取得了开创性研究成。1991年提出了用版本序列的收敛性描述软件开发过程和知识库维护策略的理论和方法,开辟了用近似和逼近方法研究软件开发和知识库维护的方向。对在我国开展推理计算机、可扩展计算机群及其软件工具和环境的设计与实现等方面也做出了贡献。

导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
学术引领
科学人生·百年
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
院士退休信息报备系统