크누스상

크누스상(Knuth Prize)은 미국 컴퓨터 과학자 도널드 E. 크누스의 이름을 딴 상으로, 컴퓨터 과학의 기초에 뛰어난 공헌을 한 사람에게 수여된다. 뛰어난 논문을 인정하는 괴델상과는 대조적으로, 크누스 상은 해당 분야에서 전반적인 영향을 미친 개인에게 수여된다.

수상자 목록
연도수상자 이름업적1996앤드루 야오계산 복잡성의 기초 연구를 한 공로1997레슬리 바리안트계산 복잡성, 병렬 계산 및 학습 이론 연구에 대한 광범위한 기여를 한 공로1999로바스 라슬로알고리즘 이론에 대한 엄청난 영향과 이론 컴퓨터 과학에서 표준 도구가 된 근본적인 발견을 한 공로2000제프리 울만이론 컴퓨터 과학, 특히 컴파일러, 병렬성, 데이터베이스와 같은 컴퓨터 과학의 응용 분야와 관련된 연구에 대한 지속적인 기여와 교과서와 대학원생 멘토링을 통한 이론 컴퓨터 과학 교육에 대한 기여를 한 공로2002크리스토스 파파디미트리우컴퓨터 과학의 기초에 대한 오랜 세월 동안 선구적 기여를 한 공로2003아이타이 미클로스이론 컴퓨터 과학에 대한 많은 기여를 한 공로2005미할리스 야나카키스이론 컴퓨터 과학에 대한 많은 기여를 한 공로2007낸시 린치분산 컴퓨팅 이론에 대한 선구적이고 영향력 있는 기여를 한 공로2008포커 슈트라센효율적 알고리즘에 대한 선구적이고 영향력 있는 기여를 한 공로2010데이비드 S. 존슨알고리즘의 이론적 및 실험적 분석에 대해 기여를 한 공로2011라빈드란 칸난이론적 컴퓨터 과학에 많은 강력한 새로운 알고리즘 기술을 제공한 공로2012레오니드 레빈복잡성, 암호화 및 정보 이론 분야에서 40년간의 선구적 연구를 한 공로2013게리 밀러암호학, 수론, 병렬 컴퓨팅, 그래프 이론, 과학적 컴퓨팅을 위한 메시 생성, 선형 시스템 풀이에 큰 영향을 준 공로2014리처드 리프턴그래프 알고리즘, 컴퓨팅, 통신, 프로그램 테스트, DNA 컴퓨팅 등 광범위한 분야에서 기본적이고 실질적인 문제를 해결하기 위해 새로운 컴퓨터 과학 및 수학 기술을 발명한 공로2015바바이 라슬로알고리즘 설계 및 복잡도 이론을 포함한 이론 컴퓨터 과학에 대한 근본적인 연구를 한 공로2016노암 니산통신 복잡성, 의사 난수 생성기, 대화형 증명 및 알고리즘 게임 이론을 포함한 이론 컴퓨터 과학에 대한 기본적이고 지속적인 기여를 한 공로2017오데드 골드라이히암호화, 무작위성, 확률적으로 검사 가능한 증명, 근사 불가능성, 속성 테스트 및 일반적인 복잡도 이론을 포함한 많은 분야에서 이론 컴퓨터 과학에 대한 근본적이고 지속적인 기여를 한 공로2018요한 하스타드최적화, 암호화, 병렬 컴퓨팅, 복잡성 이론을 포함한 많은 분야에 큰 영향을 미친 컴퓨터 과학의 기초에서 획기적인 성과를 오랫동안 꾸준히 기록한 공로2019아비 위그더슨무작위 계산, 암호화, 회로 복잡도, 증명 복잡도, 병렬 계산 및 기본 그래프 속성에 대한 이해를 포함한 컴퓨터 과학의 기초에 대한 근본적이고 지속적인 기여를 한 공로2020신시아 드워크컴퓨터 과학에 대한 근본적이고 지속적인 기여. 특히 분산 시스템, 암호화, 데이터 프라이버시 혁신. 알고리즘 의사 결정의 공정성에 매우 큰 기여를 한 공로2021모셰 바디컴퓨터 과학의 여러 기본 분야에 수학적 논리를 적용한 공로2022노가 알론조합론 및 그래프 이론 분야의 기초적 기여와 컴퓨터 과학의 기본 주제에 대한 응용에 대해 기여를 한 공로2023타르도스 에바알고리즘 설계의 공동 저술, 게임 이론 핸드북의 공동 편집, ACM 저널과 산업 및 응용 수학 협회 (SIAM) 컴퓨팅 저널의 편집장 역할, 여러 주요 현장 컨퍼런스의 프로그램 위원회 의장 역할을 한 공로2024라지브 알루르컴퓨터 시스템의 분석, 설계, 합성 및 검증을 위한 이론적 기초를 제공하는 새로운 계산 모델을 도입하여 컴퓨터 과학의 기초에 뛰어난 기여를 한 공로

분류:컴퓨터 과학상
분류:미국의 과학기술상