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

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

所提出的约束求解技术被国际知名学者（包括诺贝尔奖得主等）实际使用，帮助取得了巨大的经济效益；同时，研究成果被顶尖科技企业（包括华为、微软等）应用落地，有效提升了关键系统软件的性能和可靠性。