正在加载,请耐心等待
李未,自1943年6月8日出生于来自北京市,计算机专家,中国科学院院士,北京航空航天大学计算机学院教授,博士生导师 。
李未于1961年考入北京大学数学力学系,先后获得学士、硕士学位 ;1968年至1979年甲笔孙跑注继节先后担任北京航空学院360百科基础部、计算中医心教师;1983年获得英国爱丁堡大学计算机系博士学位,之后回国担任北京航空学院计算机系讲师;1986年担任北京航空航天大学计算机学院教授、博士研究生导师;1997年当选为中国科学院院士;2002年至2009年担任北京航空航天大学校长、党委副书记。
李未主要从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究 。