조합론, 이산수학, 임의그래프, 인터넷 그래프, 확률론적 방법, 확률론적 방법을 이용하여 조합론, 이산수학분야에서의 어떤 조건을 만족하는 object의 존재 또는 부존재를 증명하는 분야로써 이는 인터넷 그래프와 빅 데이터 분석을 위해 널리 쓰일 수 있음

1993~1997 AT&T 벨연구소 선임연구원
1996-1996 미국 뉴저지주 프린스턴대학교 객원교수
1996-1996 미국 뉴저지주 고등과학원(IAS) member
1996-1997 미국 펜실베니아주 카네기멜론 대학 부교수
1997-2007 미국 마이크로소프트 본사 연구소 수석연구원
2001-2006 미국 워싱톤주 University of Washington 겸임교수
2006-2013 연세대학교 수학과 정교수
2008-2011 국가수리과학연구소 소장 (연세대학교 휴직)
2013-현재 고등과학원(KIAS) 계산과학부 교수, 학부장

1997 풀커슨 상, 미국 수학회와 세계 수학적 최적화 학회 공동
2007 닮고 싶고 되고 싶은 과학기술인 상, 과학기술부
2007 언더우드 석좌교수, 연세대학교
2008 경암학술상 자연과분야, 경암교육문화재단