热门关键字:经济学家    部委学者

微信咨询

微信咨询

手机网站二维码

手机网站

热门

专家动态

李未

李未

中国科学院院士,国务院学位委员会委员、国有智能计算机专家组副组长

http://www.renmaizhiku.com/index.php/lyys/1998.html

  • 联系方式:
  • 手机号码:
  • 联系邮箱:
  • 助理电话:

详细介绍

李未,男,1943年生,北京市人,文化程度博士,中国科学院院士,国务院学位委员会委员、国有智能计算机专家组副组长等。
系统地解决了实用并行程序设计语言,特别是并行及通讯结构的语义问题,在并行程序语言翻译正确方面做出创始性贡献。还提出开放逻辑理论,建立了形式系统序列的极限理论等,证明了正交设计的最优性,在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。