1966年毕业于北京大学数学力学系，1983年获英国爱丁堡大学计算机科学博士学位。
1997年当选为中国科学院院士。
李未（1943年6月——2026年2月），北京人，计算机专家，主要从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。
