李未 李未年月日男北京人中国计算机专家中国科学院院士北京航空航天大学原校长他主要从事计算机软件与科学理论以及因特网应用研究研究领域包括并发程序设计语言语义理论软件开发方法人工智能基础及超大规模集成电路辅助设计技术