스피커 :Lu Pinyan, 상하이 금융 및 경제 베트남 카지노
보고서 위치 : 새로운 캠퍼스 정보 건물535
보고 시간 :2024year7Month5Sun (금요일) 오후4:00-6:00
보고서 제목 :솔버에 대한 알고리즘 : CS 및 OR의 아이디어
개인소개 :
Lu Pinyan, Shanghai Finance and Economics University디스커버리 베트남 카지노, 교육부 주요 실험실 창립 이사, 이론적 컴퓨터 과학 연구 센터의 창립 이사.2009year12018 년 Tsinghua University의 컴퓨터 과학과 박사 학위를받은 후 Microsoft Research Institute Asia에 입사했습니다. 그는 이론 그룹의 부베트남 카지노, 연구원 및 감독자 연구원으로 일했습니다.2015연도12풀 타임은 상하이 재무 및 경제 베트남 카지노에 합류하여 이론적 컴퓨터 과학 연구 센터 (itcs), 그의 연구 센터의CSRANKINGS의 두 방향 : "알고리즘과 복잡성"과 "계산 경제"는 아시아에서 1 위, 세계 10 위를 차지했습니다. 그의 주요 연구 방향은 이론적 컴퓨터이며, 이론적 컴퓨터의 세 가지 주요 회의에서 다른 분야와의 교차점에 중점을 둡니다.Stoc/Focs/Soda총 서류가 게시되었습니다33기사. 우승자icalp2007,FAW2010,ISAAC2010그리고 다른 중요한 국제 회의 최고의 종이 상. 책임이 있는FAW-AAIM 2012,와인 2017,FAW 2018,Isaac 2019국제 회의 절차위원회의 다른 공동 의장 및 여러 번Stoc,FOCS,소다최고의 국제 회의 절차위원회 위원. 이겼다acm뛰어난 과학자 상 (2019), 중국 수학자 8 번째 세계 회의ICCMMathematics Award (이전 Morningside Mathematics Award) Silver Award (2019), 중국 컴퓨터 협회의 젊은 과학자 (2014) 및 기타 영예.
보고서소개:
MIP/LP 솔버는 주로 운영 연구 커뮤니티에 의해 개발되며 SAT/SMT 솔버는 주로 컴퓨터 과학 커뮤니티에서 개발합니다. 그러나 이러한 문제는 서로 밀접한 관련이 있습니다. 최근에는 양측의 알고리즘 기술을 결합하여 더 나은 솔버를 개발하려는 많은 시도가있었습니다. 이 대화에서 나는 이것들과 우리의 시도에 대해 논의하고 통일 된 관점과 프레임 워크를 제공하려고 노력할 것입니다.