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 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 papers are accepted for publication! 

Journal papers: 

Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su. CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Transactions on Computers.

Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, and Shupeng Wang: An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Transactions on Software Engineering.

Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu:  Clause States Based Configuration Checking in Local Search for Satisfiability. IEEE Transactions on Cybernetics.

Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang: Efficient Model Checking Algorithm for Large-Scale Systems. IEEE Transactions on VLSI systems

Shaowei Cai, Zhong Jie, Kaile Su: Solving Weighted Max-2-SAT by Local Search with A New Variable Selection Heuristic, Journal of Heuristics.

Conference papers:

Xiaowei Huang, Qingliang Chen, Kaile Su. The Complexity of Model Checking Succinct Multiagent Systems. IJCAI 2015, 25-31 July,  Buenos Aires, Argentina.  

Shaowei Cai, Chuan Luo and Kaile Su. CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability, SAT 2015, 24-27 Sep, Texas, USA

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su. Symbolic Model Checking for Dynamic Epistemic Logic, LORI-5, 28-31 Oct 2015, Taibei, Taiwan.

JInkun Lin, Chuan Luo, Shaowei Cai, Dan Hao, Lu Zhang. TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation. ASE 2015,  9-13 Nov 2015,  Lincoln, Nebraska, USA



Projects and Softwares

Invited/Keynote Addresses

Program Committee Memberships & Editorial