Map     中文
Lili XU

From State Key Laboratory of Computer Science

Main Page > People > PhD Students > Lili XU
Jump to: navigation, search

PhD Student
Supervisor: Huimin LIN
Research Fields: Model Checking, Process Calculus, Privacy
Personal Description:

  • 2004-2008: Xiamen University, Department of Computer Science and Technology, Bachelor
  • 2008-now: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, PhD. student
  • 2011-2012: LIX Laboratory, INRIA, Internship student, Supervisor: Catuscia Palamidessi

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki