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
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!
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.
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
The satellite meeting for mathematical logic in the International Congress of Mathematicians in 2002
The International Workshop on High-Performance Logic-Based Systems ( 2010, Guiyang)
Guangzhou Symposium on Satisfiability in Logic-Based Modeling (2010, Zhuhai)
Beijing Summer School on Model Checking (2010, Beijing)
The Third International Workshop on Logic, Rationality and Interaction (2011, Guangzhou)
Asian Workshop on Philosophical Logic (2012, Ishikawa, Japan )