李未

李未  ， 男 ， 北京人 ， 中國計算機專家 ， 中國科學院院士 ， 北京航空航天大學原校長 。 他主要從事計算機軟件與科學理論以及因特網應用研究 ， 研究領域包括併發程序設計語言語義理論 、 軟件開發方法 、 人工智能基礎及超大規模集成電路輔助設計技術 。