地图     English
许丽丽

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

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

博士研究生
导师:林惠民
研究方向:Model Checking, Process Calculus, Privacy
个人介绍:

  • 2004-2008年就读于厦门大学计算机科学与技术系。
  • 2008-2009年在中国科学院研究生院学习。
  • 2009-2011年进入计算机科学国家重点实验室,导师为林惠民老师。
  • 2011-2012年在INRIA的LIX实验室交流一年,合作导师为Catuscia Palamidessi。

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