Kaile Su

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

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

Biography

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 70 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 10 PhD students, and am currently supervising the other 7 PhD students.  

News

2014.7.18  [Award]: In  "incomplete algorithms" track of MaxSAT Evaluation 2014,  Dist (jointly developed with  Shaowei Cai and Chuan Luo) placed first in 4 categories and CCLS (jointly developed with Chuan Luo and Shaowei Cai)  placed first another one.  There are 9 categories in  "incomplete algorithms" track. 

2013.7.12  [Award]: In "incomplete algorithms" track of MaxSAT Evaluation 2013, CCLS placed first in 4 categories and second in another category

The following paper is accepted for publication! 

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability, Artificial Intelligence, Available online on 17 Nov 2016.

Publications

Projects and Softwares