地图     English
邹亮

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

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

博士研究生
导师:詹乃军
邮箱:zoul(at)ios.ac.cn
研究方向:形式化方法
个人介绍:

  • 中国科学院软件研究所09级硕博连读生。
  • 2010年参与詹乃军老师跟北京交通大学的合作项目,并一起在APLAS10上发表了一篇文章。
  • 2010年11月到澳门联合国大学软件技术研究所交流学习,学习期间为2010.11.4—2011.9.29。
  • 本人科研兴趣主要有混成系统、进程代数(CSP)、Z语言等。

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