Computers and Proof In the final session of the Virtual HLF, as part of a discussion on the topic ‘Where can computer science and mathematics interact fruitfully?’, the conversation turned to the question of proof. In the words … 06. Oct 2020 | By Katie Steckles | 2 comments
Karen Uhlenbeck and Global Analysis – what is a manifold? As part of this year’s HLF, two alumni – Janelle C. Mason and Jaqueline Godoy Mesquita – interviewed 2019 Abel prize winner Karen Uhlenbeck. The first woman to receive the prize, Uhlenbeck talked about her … 02. Oct 2020 | By Katie Steckles | 2 comments
Mirzakhani and Meanders As part of the panel event which took place as part of this year’s HLF on the life and influence of Mayam Mirzakhani, we heard from several people who have found her inspirational. Two of … 30. Sep 2020 | By Katie Steckles | 1 comment
Raj Reddy und die technische Lösung des Lockdown-Problems Dabbala Rajagopal “Raj” Reddy hat einen geradezu märchenhaften Aufstieg genommen. Geboren 1937 in einem kleinen Dorf im heutigen indischen Bundesstaat Andhra Pradesh, arbeitete er nach seinem Studium für einige Jahre bei IBM in Australien und … 25. Sep 2020 | By Christoph Pöppe | 37 comments
Applying Mathematics and Computer Science to Everyday Life – Anecdotes from Donald Knuth and Robert Tarjan On day two of the Virtual Heidelberg Laureate Forum (HLF) 2020, Robert Endre Tarjan and Donald Ervin Knuth engaged in a freewheeling conversation about mathematics, computer science, and art. Donald Knuth was the 1974 ACM … 25. Sep 2020 | By Khari Douglas | 0 comments
Deep connections As part of Monday’s session of Interviews with Recent Laureates, maths writer Alex Bellos interviewed this year’s Abel Prize winners, Hillel Furstenburg and Gregory Margulis. The conversation covered many aspects of their work and the … 24. Sep 2020 | By Katie Steckles | 1 comment
Digital health is already an important Hot Topic, but it’s still a work in progress When Shwetak Patel proposed ‘Digital Health’ as a Hot Topic for the HLF, he had no idea a pandemic was coming. None of us did. But Patel rightly predicted that the importance of digital health … 24. Sep 2020 | By Andrei Mihai | 0 comments
What Role Can Computing Play in Battling the COVID-19 Pandemic? How can computing technology impact global health, particularly with regards to the COVID-19 pandemic? 2018 ACM Prize in Computing winner Shwetak Patel addressed this question on the second day of the Virtual Heidelberg Laureate Forum … 23. Sep 2020 | By Khari Douglas | 0 comments
Computer graphics researchers are finally getting the recognition they deserves — and it’s a good lesson for young researchers Pat Hanrahan and Edwin Catmull have often felt like underdogs in the computer science academic world. In a time when some of the greatest minds were creating AIs and cryptographic algorithms, the two spent their … 23. Sep 2020 | By Andrei Mihai | 0 comments
Architecture Innovation Accelerates Artificial Intelligence As part of the first day of the Virtual Heidelberg Laureate Forum (HLF) David A. Patterson, who won the 2017 ACM A.M Turing Award “for pioneering a systematic, quantitative approach to the design and evaluation … 23. Sep 2020 | By Khari Douglas | 1 comment
