Laureates at the 1st HLF 2013

Sir Michael Francis Atiyah †

Charles William Bachman †

1973: ACM A.M. Turing Award

Manuel Blum

1995: ACM A.M. Turing Award

Frederick Brooks †

1999: ACM A.M. Turing Award

Vinton Gray Cerf

2004: ACM A.M. Turing Award

Edmund Melson Clarke †

2007: ACM A.M. Turing Award

Stephen Arthur Cook

1982: ACM A.M. Turing Award

Fernando J. Corbato †

1990: ACM A.M. Turing Award

Gerd Faltings

1986: Fields Medal

Edward A. Feigenbaum

1994: ACM A.M. Turing Award

Shafrira Goldwasser

2012: ACM A.M. Turing Award

Juris Hartmanis †

1993: ACM A.M. Turing Award

John E. Hopcroft

1986: ACM A.M. Turing Award

William Morton Kahan

1989: ACM A.M. Turing Award

Richard Manning Karp

1985: ACM A.M. Turing Award

Alan Kay

2003: ACM A.M. Turing Award

Butler W. Lampson

1992: ACM A.M. Turing Award

Curtis T. McMullen

1998: Fields Medal

Silvio Micali

2012: ACM A.M. Turing Award

Michael O. Rabin

1976: ACM A.M. Turing Award

Raj Reddy

1994: ACM A.M. Turing Award

Ronald Linn Rivest

2002: ACM A.M. Turing Award

Dana Stewart Scott

1976: ACM A.M. Turing Award

Adi Shamir

2002: ACM A.M. Turing Award

Joseph Sifakis

2007: ACM A.M. Turing Award

Stephen Smale

1966: Fields Medal

Richard Edwin Stearns

1993: ACM A.M. Turing Award

Madhu Sudan

2002: Nevanlinna Prize

Ivan Sutherland

1988: ACM A.M. Turing Award

Endre Szemerédi

2012: Abel Prize

Robert Endre Tarjan

Charles P. Thacker †

2009: ACM A.M. Turing Award

Leslie G. Valiant

Srinivasa S. R. Varadhan

2007: Abel Prize

Cédric Villani

2010: Fields Medal

Vladimir Voevodsky †

2002: Fields Medal

Avi Wigderson

Efim Zelmanov

1994: Fields Medal