李未

中国科学院院士，国家级有突出贡献的专家，北京航空航天大学教授、博士研究生导师，2002年1月任校长。1943年生，北京市人。1966年北京大学数学系毕业后到北京航空学院任教。1983年获英国爱丁堡大学博士学位。李未长期从事教学与科研工作，他系统地解决了实用并行程序语言的结构语义问题，最先提出了并行语言翻译正确性理论，发展和完善了结构语义方法；创立了开放逻辑理论，提出了用形式理论序列研究非单调推理的方法，建立了形式系统的极限理论，是第1位给出有关程序规范进化过程数学理论的学者；他在研究和使用硅编译技术等方面也作出了成绩。共发表论文70余篇。他是国务院学位委员会委员、国家高技术计划专家。