괴델상

**괴델상**(Gödel Prize)은 쿠르트 괴델을 기리기 위해 만들었으며 이론 컴퓨터 과학 부문에서 특출난 논문을 발표한 사람에게 주는 상이다. 이론 컴퓨터 과학 유럽 연합(EATCS)(en)과 ACM SIGACT가 공동으로 수여한다. 이론 컴퓨터 과학에 대한 괴델과의 연관을 말하자면, 그는 1956년 존 폰 노이만에게 편지를 썼는데 특정 NP-완전 문제가 제곱, 혹은 선형의 시간 내에 풀릴 수 있는 지에 대해 물어봤으며 그때 처음으로 P-NP 문제를 언급한 사람이었다.date=2009-02-12 괴델상은 1993년부터 수여되기 시작했다. 수여식은 STOC(컴퓨터 이론 ACM 심포지엄, 북미의 주요 이론 컴퓨터 과학 학회 중 하나)과 ICALP(en)(International Colloquium on Automata, Languages and Programming, 유럽의 주요 이론 컴퓨터 과학 학회 중 하나) 중 한 군데에서 열린다. 상을 받을 자격이 되려면, (이전에는 최근 7년 이었다.) 최근 14년 내에 학술지에 게재된 논문이어야 한다. 괴델상은 5000 미국 달러를 포함하고 있다.access-date=29 March 2017 위원회 중 여섯 명이 수상자를 지목한다. EATCS 연합장과 SIGACT 연합장이 3년의 기간을 두고 각각의 위원회에서 3명씩 임명한다. EATCS와 SIGACT의 대표는 번갈아 가면서 위원회의 위원장을 맡는다.
# 수상자 목록
{| class="wikitable" |+ |연도 |수상자 이름 |업적 |- | rowspan="5" |1993 |바바이 라슬로 | rowspan="5" |대화형 증명 시스템을 개발한 공로 |- |샤피 골드와서 |- |실비오 미카리 |- |슐로모 모란 |- |찰스 라코프 |- |1994 |요한 하스타드 |상수 깊이의 부울 회로의 크기에 대한 지수적 하한값 (패리티 함수)을 구한 공로 |- | rowspan="2" |1995 |닐 이머만 | rowspan="2" |비결정론적 공간 복잡도에 관한 임머만-셀레프세니 정리를 한 공로 |- |로베르트 셀레프세니 |- | rowspan="2" |1996 |마크 제럼 | rowspan="2" |마르코프 연쇄와 행렬의 영구적인 근사에 관한 작업을 한 공로 |- |알리스테어 신클레어 |- | rowspan="2" |1997 |조셉 핼펀 | rowspan="2" |분산 환경에서 ‘지식’에 대한 공식적인 개념을 정의한 공로. |- |요람 모세 |- |1998 |토다 세이노스케 |PP (계산 방법)와 양화사의 교대 사이의 연관성을 정리한 공로 (토다 정리) |- |1999 |피터 쇼어 |양자 컴퓨터에서 다항식 시간 내에 숫자를 인수분해하기 위한 쇼어 알고리즘을 정리한 공로 |- | rowspan="2" |2000 |모셰 바디 | rowspan="2" |유한 상태 기계를 이용한 시간 논리에 관한 작업한 공로 |- |피에르 볼퍼 |- | rowspan="9" |2001 |산지브 아로라 | rowspan="9" |PCP 정리와 근사화의 어려움에 대한 응용을 한 공로 |- |우리엘 파이기 |- |샤피 골드와서 |- |카르스텐 룬드 |- |바바이 라슬로 |- |라지브 모트와니 |- |슈무엘 사프라 |- |마두 수단 |- |마리오 세게디 |- |2002 |제르 세니제르그 |결정적 푸시다운 오토마타의 동등성이 결정 가능하다는 것을 증명한 공로 |- | rowspan="2" |2003 |요아프 프룬트 | rowspan="2" |기계 학습의 에이다부스트 알고리즘을 개발한 공로 |- |로버트 샤파이어 |- | rowspan="4" |2004 |모리스 헐리히 | rowspan="4" |분산 컴퓨팅 이론에 대한 토폴로지 응용 프로그램을 개발한 공로 |- |마이클 삭스 |- |니르 샤빗 |- |포티오스 자하로글루 |- | rowspan="3" |2005 |노가 알론 | rowspan="3" |스트리밍 알고리즘에 대한 기초적인 기여를 한 공로 |- |요시 마티아스 |- |마리오 세게디 |- | rowspan="3" |2006 |마닌드라 아그라왈 | rowspan="3" |AKS 소수판별법을 개발한 공로 |- |니라즈 카얄 |- |니틴 삭세나 |- | rowspan="2" |2007 |알렉산더 라즈보로프 | rowspan="2" |자연적 증명을 한 공로 |- |스티븐 루디치 |- | rowspan="2" |2008 |다니엘 스피엘만 | rowspan="2" |알고리즘의 매끄러운 분석을 한 공로 |- |텅샹화 |- | rowspan="3" |2009 |오머 라인골드 | rowspan="3" |그래프의 지그재그 곱과 로직 공간에서의 무향 연결성을 개발한 공로 |- |살릴 바단 |- |아비 위그더슨 |- | rowspan="2" |2010 |산지브 아로라 | rowspan="2" |유클리드 외판원 문제에 대한 다항시간 근사해법을 동시에 발견한 공로 |- |조셉 미첼 |- |2011 |요한 하스타드 |다양한 조합 문제에 대한 최적의 비근사성 결과를 증명한 공로 |- | rowspan="6" |2012 |엘리아스 쿠수피아스 | rowspan="6" |알고리즘 게임 이론의 기초를 마련한 공로 |- |크리스토스 파파디미트리우 |- |노암 니산 |- |아미르 로넨 |- |팀 러프가든 |- |타르도스 에바 |- | rowspan="3" |2013 |단 보네이 | rowspan="3" |다자간 디피-헬먼 키 교환 및 암호화의 보네-프랭클린 계산 방식을 고안한 공로 |- |매튜 K. 프랭클린 |- |앙투안 주 |- | rowspan="3" |2014 |로널드 페이긴 | rowspan="3" |미들웨어를 위한 최적 집계 알고리즘을 개발한 공로 |- |암논 로템 |- |모니 나오르 |- | rowspan="2" |2015 |다니엘 스피엘만 | rowspan="2" |밀접한 선형 시간 '라플라시안 솔버' 에 관한 논문들을 발표한 공로 |- |텅샹화 |- | rowspan="2" |2016 |스티븐 브룩스 | rowspan="2" |동시 분리 논리를 발명한 공로 |- |피터 오헤른 |- | rowspan="4" |2017 |신시아 드워크 | rowspan="4" |차등 개인정보 보호방법을 발명한 공로 |- |프랭크 맥셰리 |- |코비 니심 |- |애덤 D. 스미스 |- |2018 |오데드 레게브 |오류 문제를 통한 학습을 소개한 공로 |- |2019 |이릿 디누르 |갭 증폭을 통한 PCP 정리를 새롭게 증명한 공로 |- | rowspan="2" |2020 |로빈 모저 | rowspan="2" |로바스 울안 보조정리에 대한 자연적 증명을 한 공로 |- |가르보 타르도스 |- | rowspan="5" |2021 |안드레이 불라토프 | rowspan="5" |제약 충족 문제의 계산 문제 분류에 관한 연구를 한 공로 |- |차이진이 |- |첸시 |- |마틴 다이어 |- |데이비드 리처비 |- | rowspan="3" |2022 |즈비카 브라케르스키 | rowspan="3" |효율적인 완전 동형 암호 (FHE) 방식을 구축하여 암호화에 혁신적 기여를 한 공로 |- |크레이그 젠트리 |- |비노드 바이쿤타나탄 |- | rowspan="6" |2023 |사무엘 피오리니 | rowspan="6" |외판원 문제 (다면체)에 대한 모든 확장된 공식이 지수적 크기를 갖는다는 것을 증명한 공로 |- |세르주 마사르 |- |세바스티안 포쿠타 |- |한스 라지 티와리 |- |로날드 드 울프 |- |토마스 로스보스 |- |2024 |라이언 윌리엄스 |회로 범위 하한과 알고리즘 하한 패러다임을 수행한 공로 |}
# 수상자들의 논문
group="paper"
# 참고
* 괴델상 수상자의 목록 위키데이터 속성 추적 분류:이론 컴퓨터 과학 분류:컴퓨터 과학상 분류:쿠르트 괴델 분류:1993년 설립