AI promised to help us through the pandemic. Has it? We’ve heard it a million times: artificial intelligence (AI) is a magnificent tool with the potential to revolutionize countless fields. Yet when it came to the pandemic, it was a bit of a cold shower. … 17. Nov 2020 | By Andrei Mihai | 1 comment
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
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
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
How an algorithm became superhuman at Go — but not StarCraft — and then moved on to modeling proteins In a talk at the #vHLF20, DeepMind’s David Silver (recipient of the 2019 ACM Prize in Computing) showcased how AIs have become so powerful at playing games — and how this could be used to … 22. Sep 2020 | By Andrei Mihai | 1 comment
Have fun! Life and Career Advice from Sir C. Antony R. Hoare and Leslie Lamport The Virtual Heidelberg Laureate Forum (HLF) 2020 kicked off today (September 21st) via livestream. As part of the day’s program, Sir C. Antony R. Hoare and Leslie Lamport, both winners of the ACM A.M. Turing … 22. Sep 2020 | By Khari Douglas | 0 comments
