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