Kaile Su

Address and Contact Details:
Institute for Integrated and Intelligent Systems
Griffith University, Bribane, Qld 4111,

Email: kailepku at gmail
Phone: +61 7 3175 4040
Mobile: +61 4 02537230; +86 13811375223


I obtained my PhD from Nanjing University in1995, followed by postdoctoral work at Changsha Institute of Technology,  and joined Sun Yatsen   University as an Associate Professor in 1999 and then promoted as a professor in 2000. During the period with Sun Yasten University, I also worked as a Research Fellow at the University of New South Wales from 2000-2001, and at Griffith University from 2004-2007. I was invited to joint Peking University as Professor and got the prestigious NSFC Award for Distinguished Young Scholar in 2007. In 2009, I got the prestigious ARC Future Fellowship with IIIS at Griffith University, and finished Future Fellowship on 27 Nov 2014.  

My research interests include "Modal Logic", "Model Checking Multi-Agent Systems" and "Experimental Algorithms for hard problems". I have published over 100 peer-refereed papers in quality journals and conferences, including Information and Computation, Artificial Intelligence (AIJ), Journal of Artificial Intelligence Research (JAIR), CAV, IJCAI, AAAI, AAMAS, KR and AiML. I got the best paper award from  AiML 2002  (an ERA A ranked conference) and the award of SAT Challenge 2012. I have also successfully supervised 20 PhD students.  


Projects and Softwares