报告人：陆品燕，上海财经大学
报告地点：新校区信息楼535
报告开云登陆入口-开云(中国)：2024年7月5日（周五）下午4:00-6:00
报告题目：Algorithms for Solvers: Ideas from CS and OR
个人简介：
陆品燕，上海财经大学信息学院特聘教授，计算经济交叉科学教育部重点实验室创始主任，理论计算机科学研究中心创始主任。2009年1月于清华大学计算机系获博士学位后加入微软亚洲研究院，历任理论组副研究员，研究员，主管研究员。2015年12月全职加盟上海财经大学，领衔组建理论计算机科学研究中心（ITCS），他的研究中心在CSRankings的“算法与复杂性”和“计算经济学”两个方向已经排名亚洲第一、全球前十。他的主要研究方向是理论计算机，并注重与其它学科的交叉，在理论计算机的三大会议STOC/FOCS/SODA共发表论文33篇。荣获ICALP2007、FAW2010、ISAAC2010 等重要国际会议最佳论文奖。担任FAW-AAIM 2012、WINE 2017、FAW 2018、ISAAC 2019等国际会议程序委员会联合主席，以及多次担任STOC，FOCS，SODA等顶级国际会议的程序委员会委员。曾荣获ACM杰出科学家奖（2019）、第八届世界华人数学家大会ICCM数学奖（原晨兴数学奖）银奖（2019）、中国计算机学会青年科学家（2014）等荣誉。
报告简介：
The MIP/LP solvers are primarily developed by the operations research community while SAT/SMT solvers are primarily developed by the computer science community. However, these problems are closely related with each other. In recent years, there have been many attempts to combine the algorithmic techniques of both sides to develop better solvers. In this talk, I will discuss about these and our attempts and try to provide a unified perspective and framework.
