地图     English
曾奶举

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

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

博士研究生
导师:张文辉
研究方向:形式化验证方法
个人介绍:

  • 2008级硕博连读生,于2011年3月转为博士。
  • 硕士导师为李勇坚副研究员,硕士期间从事硬件模型检测STE方法的研究。
  • 博士导师为张文辉研究员,博士期间将从事嵌入式系统的形式化验证方法研究。

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