Please enable JavaScript in order to use all features of this website.
Laureates of mathematics
and computer science meet
the next generation
Search for:
Menu
Skip to content
The Forum
1st HLF 2013
2nd HLF 2014
Hot Topic 2014
3rd HLF 2015
Hot Topic 2015
4th HLF 2016
5th HLF 2017
6th HLF 2018
Upcoming Events
About
Structure of the Forum
History
Organizers
Scientific Partners
Scientific Committee
Outreach
FAQ
The Laureates
Laureates at the HLF 2013
Laureates at the HLF 2014
Laureates at the HLF 2015
Laureates at the HLF 2016
Laureates at the HLF 2017
Laureates at the HLF 2018
The Awards
Abel Prize
ACM A.M. Turing Award
ACM Prize in Computing
Fields Medal
Nevanlinna Prize
Supporters
Media
Press Releases
Download Area
Social Media
Video Archive
Photo Gallery
Media Contact
Blogs
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