个人简介：
北京航空航天大学副教授，博士研究生导师，北航软件学院关键基础软件所副所长。围绕约束求解研究方向，开展了一系列创新的学术研究工作。已入选中国科协青年人才托举工程。迄今总计发表CCF-A类论文50余篇。担任多个国际学术会议的领域主席、（资深）程序委员会成员。作为负责人主持多项国家级科研项目，包括国家自然科学基金项目、国家重点研发计划课题等。在国际知名约束求解竞赛中多次获得冠军，包括亚洲首冠。研究工作获得国际知名学者（包括诺贝尔奖得主）实际使用或正面评价。研究成果被国家电网、航天科工集团、华为、微软成功应用，有效提升了云系统、编译器、体系设计软件等关键系统软件的性能和可靠性。
主要研究方向：
约束求解
主讲课程:
算法分析与设计，科技写作与报告
个人主页：https://chuanluocs.github.io/
邮箱地址：chuanluo@buaa.edu.cn
