副教授
电子邮箱:
所在单位:软件学院
学历:博士研究生
在职信息:在职
主要任职:博士研究生导师
罗川,北京航空航天大学副教授,博士研究生导师。围绕约束求解研究方向,开展了一系列开创性的学术研究工作。已入选中国科协青年人才托举工程、中国计算机学会(CCF)青年人才发展计划。
迄今总计发表CCF-A类论文40余篇,其中申请人以第一作者或通讯作者身份发表CCF-A类论文20余篇。谷歌学术引用超过1600次。担任多个CCF-A类国际顶级会议的(资深)程序委员会成员。作为负责人主持多项科研项目,包括国家重点研发计划课题、国家自然科学基金项目、CCF-华为胡杨林基金系统软件专项等。申请人在国际知名约束求解竞赛(国际SAT求解竞赛、国际MaxSAT评测竞赛)中共获得了17次冠军,包括获得亚洲首冠。
所提出的约束求解技术被国际知名学者(包括诺贝尔奖得主等)实际使用,帮助取得了巨大的经济效益;同时,研究成果被顶尖科技企业(包括华为、微软等)应用落地,有效提升了关键系统软件的性能和可靠性。