괴델상
수상자 목록

| 0 | 1 | 2 |
| --- | --- | --- |
| 연도 | 수상자 이름 | 업적 |
| 1993 | 바바이 라슬로 | 대화형 증명 시스템을 개발한 공로 |
| 1993 | 샤피 골드와서 | 대화형 증명 시스템을 개발한 공로 |
| 1993 | 실비오 미카리 | 대화형 증명 시스템을 개발한 공로 |
| 1993 | 슐로모 모란 | 대화형 증명 시스템을 개발한 공로 |
| 1993 | 찰스 라코프 | 대화형 증명 시스템을 개발한 공로 |
| 1994 | 요한 하스타드 | 상수 깊이의 부울 회로의 크기에 대한 지수적 하한값 (패리티 함수)을 구한 공로 |
| 1995 | 닐 이머만 | 비결정론적 공간 복잡도에 관한 임머만-셀레프세니 정리를 한 공로 |
| 1995 | 로베르트 셀레프세니 | 비결정론적 공간 복잡도에 관한 임머만-셀레프세니 정리를 한 공로 |
| 1996 | 마크 제럼 | 마르코프 연쇄와 행렬의 영구적인 근사에 관한 작업을 한 공로 |
| 1996 | 알리스테어 신클레어 | 마르코프 연쇄와 행렬의 영구적인 근사에 관한 작업을 한 공로 |
| 1997 | 조셉 핼펀 | 분산 환경에서 ‘지식’에 대한 공식적인 개념을 정의한 공로. |
| 1997 | 요람 모세 | 분산 환경에서 ‘지식’에 대한 공식적인 개념을 정의한 공로. |
| 1998 | 토다 세이노스케 | PP (계산 방법)와 양화사의 교대 사이의 연관성을 정리한 공로 (토다 정리) |
| 1999 | 피터 쇼어 | 양자 컴퓨터에서 다항식 시간 내에 숫자를 인수분해하기 위한 쇼어 알고리즘을 정리한 공로 |
| 2000 | 모셰 바디 | 유한 상태 기계를 이용한 시간 논리에 관한 작업한 공로 |
| 2000 | 피에르 볼퍼 | 유한 상태 기계를 이용한 시간 논리에 관한 작업한 공로 |
| 2001 | 산지브 아로라 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 우리엘 파이기 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 샤피 골드와서 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 카르스텐 룬드 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 바바이 라슬로 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 라지브 모트와니 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 슈무엘 사프라 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 마두 수단 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2001 | 마리오 세게디 | PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |
| 2002 | 제르 세니제르그 | 결정적 푸시다운 오토마타의 동등성이 결정 가능하다는 것을 증명한 공로 |
| 2003 | 요아프 프룬트 | 기계 학습의 에이다부스트 알고리즘을 개발한 공로 |
| 2003 | 로버트 샤파이어 | 기계 학습의 에이다부스트 알고리즘을 개발한 공로 |
| 2004 | 모리스 헐리히 | 분산 컴퓨팅 이론에 대한 토폴로지 응용 프로그램을 개발한 공로 |
| 2004 | 마이클 삭스 | 분산 컴퓨팅 이론에 대한 토폴로지 응용 프로그램을 개발한 공로 |
| 2004 | 니르 샤빗 | 분산 컴퓨팅 이론에 대한 토폴로지 응용 프로그램을 개발한 공로 |
| 2004 | 포티오스 자하로글루 | 분산 컴퓨팅 이론에 대한 토폴로지 응용 프로그램을 개발한 공로 |
| 2005 | 노가 알론 | 스트리밍 알고리즘에 대한 기초적인 기여를 한 공로 |
| 2005 | 요시 마티아스 | 스트리밍 알고리즘에 대한 기초적인 기여를 한 공로 |
| 2005 | 마리오 세게디 | 스트리밍 알고리즘에 대한 기초적인 기여를 한 공로 |
| 2006 | 마닌드라 아그라왈 | AKS 소수판별법을 개발한 공로 |
| 2006 | 니라즈 카얄 | AKS 소수판별법을 개발한 공로 |
| 2006 | 니틴 삭세나 | AKS 소수판별법을 개발한 공로 |
| 2007 | 알렉산더 라즈보로프 | 자연적 증명을 한 공로 |
| 2007 | 스티븐 루디치 | 자연적 증명을 한 공로 |
| 2008 | 다니엘 스피엘만 | 알고리즘의 매끄러운 분석을 한 공로 |
| 2008 | 텅샹화 | 알고리즘의 매끄러운 분석을 한 공로 |
| 2009 | 오머 라인골드 | 그래프의 지그재그 곱과 로직 공간에서의 무향 연결성을 개발한 공로 |
| 2009 | 살릴 바단 | 그래프의 지그재그 곱과 로직 공간에서의 무향 연결성을 개발한 공로 |
| 2009 | 아비 위그더슨 | 그래프의 지그재그 곱과 로직 공간에서의 무향 연결성을 개발한 공로 |
| 2010 | 산지브 아로라 | 유클리드 외판원 문제에 대한 다항시간 근사해법을 동시에 발견한 공로 |
| 2010 | 조셉 미첼 | 유클리드 외판원 문제에 대한 다항시간 근사해법을 동시에 발견한 공로 |
| 2011 | 요한 하스타드 | 다양한 조합 문제에 대한 최적의 비근사성 결과를 증명한 공로 |
| 2012 | 엘리아스 쿠수피아스 | 알고리즘 게임 이론의 기초를 마련한 공로 |
| 2012 | 크리스토스 파파디미트리우 | 알고리즘 게임 이론의 기초를 마련한 공로 |
| 2012 | 노암 니산 | 알고리즘 게임 이론의 기초를 마련한 공로 |
| 2012 | 아미르 로넨 | 알고리즘 게임 이론의 기초를 마련한 공로 |
| 2012 | 팀 러프가든 | 알고리즘 게임 이론의 기초를 마련한 공로 |
| 2012 | 타르도스 에바 | 알고리즘 게임 이론의 기초를 마련한 공로 |
| 2013 | 단 보네이 | 다자간 디피-헬먼 키 교환 및 암호화의 보네-프랭클린 계산 방식을 고안한 공로 |
| 2013 | 매튜 K. 프랭클린 | 다자간 디피-헬먼 키 교환 및 암호화의 보네-프랭클린 계산 방식을 고안한 공로 |
| 2013 | 앙투안 주 | 다자간 디피-헬먼 키 교환 및 암호화의 보네-프랭클린 계산 방식을 고안한 공로 |
| 2014 | 로널드 페이긴 | 미들웨어를 위한 최적 집계 알고리즘을 개발한 공로 |
| 2014 | 암논 로템 | 미들웨어를 위한 최적 집계 알고리즘을 개발한 공로 |
| 2014 | 모니 나오르 | 미들웨어를 위한 최적 집계 알고리즘을 개발한 공로 |
| 2015 | 다니엘 스피엘만 | 밀접한 선형 시간 '라플라시안 솔버' 에 관한 논문들을 발표한 공로 |
| 2015 | 텅샹화 | 밀접한 선형 시간 '라플라시안 솔버' 에 관한 논문들을 발표한 공로 |
| 2016 | 스티븐 브룩스 | 동시 분리 논리를 발명한 공로 |
| 2016 | 피터 오헤른 | 동시 분리 논리를 발명한 공로 |
| 2017 | 신시아 드워크 | 차등 개인정보 보호방법을 발명한 공로 |
| 2017 | 프랭크 맥셰리 | 차등 개인정보 보호방법을 발명한 공로 |
| 2017 | 코비 니심 | 차등 개인정보 보호방법을 발명한 공로 |
| 2017 | 애덤 D. 스미스 | 차등 개인정보 보호방법을 발명한 공로 |
| 2018 | 오데드 레게브 | 오류 문제를 통한 학습을 소개한 공로 |
| 2019 | 이릿 디누르 | 갭 증폭을 통한 PCP 정리를 새롭게 증명한 공로 |
| 2020 | 로빈 모저 | 로바스 울안 보조정리에 대한 자연적 증명을 한 공로 |
| 2020 | 가르보 타르도스 | 로바스 울안 보조정리에 대한 자연적 증명을 한 공로 |
| 2021 | 안드레이 불라토프 | 제약 충족 문제의 계산 문제 분류에 관한 연구를 한 공로 |
| 2021 | 차이진이 | 제약 충족 문제의 계산 문제 분류에 관한 연구를 한 공로 |
| 2021 | 첸시 | 제약 충족 문제의 계산 문제 분류에 관한 연구를 한 공로 |
| 2021 | 마틴 다이어 | 제약 충족 문제의 계산 문제 분류에 관한 연구를 한 공로 |
| 2021 | 데이비드 리처비 | 제약 충족 문제의 계산 문제 분류에 관한 연구를 한 공로 |
| 2022 | 즈비카 브라케르스키 | 효율적인 완전 동형 암호 (FHE) 방식을 구축하여 암호화에 혁신적 기여를 한 공로 |
| 2022 | 크레이그 젠트리 | 효율적인 완전 동형 암호 (FHE) 방식을 구축하여 암호화에 혁신적 기여를 한 공로 |
| 2022 | 비노드 바이쿤타나탄 | 효율적인 완전 동형 암호 (FHE) 방식을 구축하여 암호화에 혁신적 기여를 한 공로 |
| 2023 | 사무엘 피오리니 | 외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |
| 2023 | 세르주 마사르 | 외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |
| 2023 | 세바스티안 포쿠타 | 외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |
| 2023 | 한스 라지 티와리 | 외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |
| 2023 | 로날드 드 울프 | 외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |
| 2023 | 토마스 로스보스 | 외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |
| 2024 | 라이언 윌리엄스 | 회로 범위 하한과 알고리즘 하한 패러다임을 수행한 공로 |