地图     English
刘士超

出自计算机科学国家重点实验室

首页 > 人才队伍 > 博士研究生 > 刘士超
跳转到: 导航, 搜索

博士研究生
导师:蒋颖
研究方向:程序设计理论,并发程序验证
个人介绍:

  • 2005-2009 厦门大学计算机科学系,学士学位
  • 2009-至今 中国科学院软件研究所硕博连读生

版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号