约束求解、组合优化、软件测试、云计算。
科研成果：
在CCF-A类国际顶级期刊和会议（IEEE Transactions on Computers、Artificial Intelligence、ICSE、ESEC/FSE、ASE、AAAI、IJCAI、WWW、NeurIPS等）上共发表论文30余篇。所实现的约束求解器于国际求解器竞赛（如SAT Challenge、MaxSAT Evaluation）多次获得冠军。多次担任顶级会议的高级程序委员会成员（Senior PC Member）以及程序委员会成员（PC Member）。
具体论文发表情况，请见：谷歌学术：https://scholar.google.com/citations?user=MfJGmUUAAAAJ
邮箱地址：chuanluo@buaa.edu.cn
