Facebook
Bluesky
LinkedIn
Instagram
YouTube
HLFF Blog
flickr
Contact
Downloads | NEWSROOM | Press News
Downloads | NEWSROOM | Press News
HLFF
MAINS
About
About us
Scientific Committee
Partners
Team
Code of Conduct
Forum
12th HLF 2025
Program 12th HLF 2025
Laureates 12th HLF 2025
Structure of the Forum
Past HLFs
11th HLF 2024
10th HLF 2023
9th HLF 2022
8th HLF 2021
Virtual HLF 2020
7th HLF 2019
6th HLF 2018
5th HLF 2017
4th HLF 2016
3rd HLF 2015
2nd HLF 2014
1st HLF 2013
Upcoming Events
Outreach
Laureates
Overview
Awards
Abel Prize
ACM A.M. Turing Award
ACM Prize in Computing
Fields Medal
IMU Abacus Medal
Nevanlinna Prize
Masters of Abstraction
Young Researchers
FAQ
Alumni
AlumNode
HLFF Spotlight: Alumni in Action
HLFF Inspiring Minds
HLFF Spotlight
HLFF Spotlight: Alumni in Action
HLFF Spotlight: 10th HLF
Contact
Journalists
12th HLF 2025
Program 12th HLF 2025
Laureates 12th HLF 2025
Structure of the Forum
Past HLFs
11th HLF 2024
Program 11th HLF 2024
Laureates 11th HLF 2024
10th HLF 2023
Program 10th HLF 2023
Laureates 10th HLF 2023
Exhibitions @HLF
9th HLF 2022
Program 9th HLF 2022
Laureates 9th HLF 2022
Hot Topic 9th HLF 2022
Infection Protection Concept
8th HLF 2021
Virtual HLF 2020
Program Virtual HLF 2020
Laureates Virtual HLF
Hot Topic Virtual HLF 2020
Satellite Program Virtual HLF 2020
7th HLF 2019
Laureates 7th HLF 2019
Program 7th HLF 2019
Hot Topic 7th HLF 2019
6th HLF 2018
Laureates 6th HLF 2018
Program 6th HLF 2018
Hot Topic 6th HLF 2018
5th HLF 2017
Program 5th HLF 2017
Laureates 5th HLF 2017
Hot Topic 5th HLF 2017
4th HLF 2016
Program 4th HLF 2016
Laureates 4th HLF 2016
Hot Topic 4th HLF 2016
3rd HLF 2015
Program 3rd HLF 2015
Laureates 3rd HLF 2015
Hot Topic 3rd HLF 2015
2nd HLF 2014
Program 2nd HLF 2014
Laureates 2nd HLF 2014
Hot Topic 2nd HLF 2014
1st HLF 2013
Program 1st HLF 2013
Laureates 1st HLF 2013
Upcoming Events
Outreach
Laureates at the
5th
HLF 2017
pdf download
Sir Michael Francis Atiyah †
1966: Fields Medal
2004: Abel Prize
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
Stephen Arthur Cook
1982: ACM A.M. Turing Award
Jeffrey A. Dean
2012: ACM Prize in Computing
Whitfield Diffie
2015: ACM A.M. Turing Award
Alexei Efros
2016: ACM Prize in Computing
Martin Hairer
2014: Fields Medal
Martin Hellman
2015: ACM A.M. Turing Award
Sir C. Antony R. Hoare
1980: ACM A.M. Turing Award
John E. Hopcroft
1986: ACM A.M. Turing Award
William Morton Kahan
1989: ACM A.M. Turing Award
Leslie Lamport
2013: ACM A.M. Turing Award
Shigefumi Mori
1990: Fields Medal
Joseph Sifakis
2007: ACM A.M. Turing Award
Stephen Smale
1966: Fields Medal
Daniel Spielman
2010: Nevanlinna Prize
Richard Edwin Stearns
1993: ACM A.M. Turing Award
Madhu Sudan
2002: Nevanlinna Prize
Ivan Sutherland
1988: ACM A.M. Turing Award
Robert Endre Tarjan
1982: Nevanlinna Prize
1986: ACM A.M. Turing Award
Leslie G. Valiant
1986: Nevanlinna Prize
2010: ACM A.M. Turing Award
Efim Zelmanov
1994: Fields Medal
The Laureates
Sir Michael Francis Atiyah †
more
Manuel Blum
more
Frederick Brooks †
more
Vinton Gray Cerf
more
Stephen Arthur Cook
more
Jeffrey A. Dean
more
Whitfield Diffie
more
Alexei Efros
more
Martin Hairer
more
Martin Hellman
more
Sir C. Antony R. Hoare
more
John E. Hopcroft
more
William Morton Kahan
more
Leslie Lamport
more
Shigefumi Mori
more
Joseph Sifakis
more
Stephen Smale
more
Daniel Spielman
more
Richard Edwin Stearns
more
Madhu Sudan
more
Ivan Sutherland
more
Robert Endre Tarjan
more
Leslie G. Valiant
more
Efim Zelmanov
more
View all Laureates
