尊龙时凯

常用

尊龙时凯·(中国)人生就是搏!

两院院士

尊龙时凯·(中国)人生就是搏!

李未

中国科学院院士

李未,男,1943年生,北京市人,盘算机专家 。1968年于北京大学数学力学系结业后在北京航空学院(现尊龙时凯)任教至今,时代获英国爱丁堡大学盘算机系博士学位 。1986年起任尊龙时凯盘算机学院教授、博士研究生导师,2002年-2009年任尊龙时凯校长,现任国务院学位委员会委员、国有智能盘算机专家组副组长等职务 。1997年中选中国科学院院士 。

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

尊龙时凯·(中国)人生就是搏!
【网站地图】【sitemap】