888集团

李未院士系统地解决了适用并行程序设计语言，，
，，，，特殊是并行及通讯结构的语义问题，，
，，，，在并行程序语言翻译准确方面做出首创性孝顺。
。
。；；；；；；固岢隹怕呒砺，，
，，，，建设了形式系统序列的极限理论等，，
，，，，证实晰正交设计的最优性，，
，，，，在研究和使用硅编译手艺及智能盘算机研究等做出突出的效果，，
，，，，在盘算机程序语义研究方面获1995年国家自然科学二等奖。
。
。。1999年起先后担当973妄想“网络情形下海量信息的组织与处置惩罚的理论与要领研究”和“海量信息的协同性与可生涯性的理论和实践研究”项目首席科学家。
。
。。提出了修正的演算系统（R-演算），，
，，，，并证实晰R-演算的可靠性、完全性和可达性。
。
。。提出并设计了历程模式语言，，
，，，，提出并研究了合理历程模式的三个基本特征，，
，，，，获得1999年光华科技前进一等奖。
。
。。主持研制的基础设施网络治理系统软件生产平台获得2004年度国家科技前进二等奖（第一完成人）。
。
。。已揭晓学术论文100余篇，，
，，，，专著1部。
。
。；；；；；；2005年度国家教学效果一等奖，，
，，，，获何梁何利科技前进奖一项。
。
。。