• 2009 Doctor of Philosophy (PhD)
    Department of Computer Science, University of Liverpool, United Kingdom. Thesis title: Reasoning about Time, Action and Knowledge in  Multi-Agent Systems”. Supervisors: Professor Wiebe van der Hoek and Professor Michael Wooldridge
  • 2004 Master of Logic (MSc)
    The Institute of Logic, Language and Computation (ILLC), University of Amsterdam. Supervisors: Professor Jan van Eijck and Professor Johan van Benthem.
  • 2002 Bachelor of Arts (BA)
    Department of Philosophy, Beijing University. 
  • 2013 – Current
    Senior Lecturer, Department of Computer Science, School of Engineering, Computer and Mathematical Sciences, Auckland University of Technology, New Zealand. 
  • 2011 – 2013
    Postdoc Research Fellow at the School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia. (with Professor Michael Thielscher)
  • 2009 – 2010
    Postdoc Research Fellow at the Centre for Logic and Information, StFX University, Canada. Research Project “Building Decision-Support Through Dynamic Workflow Systems for Health Care”, funded by Atlantic Innovation Fund (AIF). (with Professor Wendy MacCaull and Professor Heather Jewers)
  • 2005
    Visiting Research Fellow at the Department of Computer Science, University of Otago, New Zealand. Research Project “Cryptography for Ideal Agents”, funded by Asian Office of Aerospace Research and Development (AOARD-05-4017). (with Dr. Hans van Ditmarsch).