罗川，北京航空航天大学副教授，博士研究生导师，北航软件学院关键基础软件所副所长。围绕约束求解研究方向，开展了一系列创新的学术研究工作。已入选中国科协青年人才托举工程、中国计算机学会（CCF）青年人才发展计划。

迄今总计发表CCF-A类论文50余篇，其中以第一作者或通讯作者身份发表CCF-A类论文20余篇。谷歌学术引用超过2000次。担任多个CCF-A类国际顶级会议的（资深）程序委员会成员。作为负责人主持多项科研项目，包括国家重点研发计划课题、国家自然科学基金项目等。在国际知名约束求解竞赛（国际SAT求解竞赛、国际MaxSAT评测竞赛）中共获得了17次冠军，包括获得亚洲首冠。

所提技术被国际知名学者（包括诺贝尔奖得主等）实际使用；研究成果被顶尖科技企业（包括国家电网、航天科工集团、华为、微软等）应用落地，有效提升关键系统软件的性能和可靠性。

个人主页：https://chuanluocs.github.io/