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 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.
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.
Projects and Softwares
- MCTK(Model Checking Time and Knowledge), a highly efficient tool for model checking epistemic logic.
- SPV (Security Protocol Verifier), a tool to verify security protocols, which enable us to check the complex industrial protocols such as SET in a totally automatic way.
- Inc(W)Maxsat, the world-wide leading solvers for the MaxSAT problem, achieving wonderful performances in MAXSAT Evaluations in the last five years.
- EWLS, EWCC, and NuMVC, the world-wide leading local search solvers for the minimum vertex cover (MVC) problem.
- SWcc, SWcca and CCASat, the world-wide leading local search solvers for satisfiablity (SAT) problem. CCASat won the first place in Random Sat Track in SAT Challenge 2012.
- CacBDD, a simple and efficient OBDD package