Laureates at the HLF 2015

• Download as pdf

Leonard Max Adleman

• ACM A.M. Turing Award, 2002

Sir Michael Francis Atiyah

• Fields Medal, 1966
• Abel Prize, 2004

Manuel Blum

• ACM A.M. Turing Award, 1995

Frederick Brooks

• ACM A.M. Turing Award, 1999

Vinton Gray Cerf

• ACM A.M. Turing Award, 2004

Edmund Melson Clarke

• ACM A.M. Turing Award, 2007

Stephen A. Cook

• ACM A.M. Turing Award, 1982

Sir C. Antony R. Hoare

• ACM A.M. Turing Award, 1980

John E. Hopcroft

• ACM A.M. Turing Award, 1986

Richard Manning Karp

• ACM A.M. Turing Award, 1985

Leslie Lamport

• ACM A.M. Turing Award, 2013

Butler W. Lampson

• ACM A.M. Turing Award, 1992

Shigefumi Mori

• Fields Medal, 1990

Peter Naur †

• ACM A.M. Turing Award, 2005

Louis Nirenberg

• Abel Prize, 2015

Andrei Okounkov

• Fields Medal, 2006

Richard Edwin Stearns

• ACM A.M. Turing Award, 1993

Ivan Sutherland

• ACM A.M. Turing Award, 1988

Endre Szemerédi

• Abel Prize, 2012

Robert Endre Tarjan

• Nevanlinna Prize, 1982
• ACM A.M. Turing Award, 1986

John Torrence Tate

• Abel Prize, 2010

Leslie G. Valiant

• Nevanlinna Prize, 1986
• ACM A.M. Turing Award, 2010

Srinivasa S. R. Varadhan

• Abel Prize, 2007

Vladimir Voevodsky

• Fields Medal, 2002

Andrew C. Yao

• ACM A.M. Turing Award, 2000

Efim Zelmanov

• Fields Medal, 1994