Reporter:Lu Pinyan, Shanghai University of Finance and bet365 online sports betting app
Reporting location: New Campus Information Building535
bet365 online sports betting app time:2024Year7month5Sunday (Friday) afternoon4:00-6:00
bet365 online sports betting app title:Algorithms for Solvers: Ideas from CS and OR
PersonalIntroduction:
Lu Pinyan, School of Information, Shanghai University of Finance and bet365 online sports betting appDistinguished Professor,Founding Director of the Key Laboratory of Interdisciplinary Computational bet365 online sports betting app, Ministry of Education,Founding Director of Theoretical Computer Science Research Center。2009Year1Joined Microsoft Research Asia after receiving a Ph.D. in Computer Science from Tsinghua bet365 online sports betting app,Served as associate researcher of the theory group,Researcher,Researcher in Charge。2015Year12joined Shanghai University of Finance and bet365 online sports betting app full time,Led the establishment of the Theoretical Computer Science Research Center (ITCS), his bet365 online sports betting app center is inCSRankings’s “Algorithms and Complexity” and “Computational bet365 online sports betting app” have ranked first in Asia、Top ten in the world。His main research direction is theoretical computers,And focus on intersection with other disciplines,Three major conferences on theoretical computersSTOC/FOCS/SODATotal papers published33Article. wonICALP2007、FAW2010、ISAAC2010 Best paper award at important international conferences such as 15506_15521FAW-AAIM 2012、WINE 2017、FAW 2018、ISAAC 2019Co-chairman of the International Conference Program Committee,And multiple timesSTOC,FOCS,SODAProgram committee member of top international conferences. WonACMOutstanding Scientist Award (2019), The 8th World Congress of Chinese MathematiciansICCMMathematics Award (formerly Morningside Mathematics Award) Silver Award (2019), Young Scientist of China Computer Federation (2014) and other honors.
bet365 online sports betting appIntroduction:
The MIP/LP solvers are primarily developed by the operations bet365 online sports betting app 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.