Computer Science Archives

AIs are scouring through thousands of compounds to find delicious meat alternatives

Vegetarian burgers are better for animals, better for the planet, and probably better for you, but finding recipes that are nutritious and tasty is challenging. AI may be able to help. Read more

26. Jan 2022 | By Andrei Mihai | 1 comment

AI can partner up with human intuition to make new discoveries in mathematics

It’s the first time machine learning has been used to create new proofs. Read more

15. Dec 2021 | By Andrei Mihai | 1 comment

Avi Wigderson und der Einbruch des Zufalls in das Reich der Beweise

Das erste Mal, dass mir der Name Avi Wigderson begegnete, war gleich ein feierlicher Anlass. Auf dem internationalen Mathematiker-Kongress in Zürich 1994 wurde ihm der Nevanlinna-Preis verliehen, eine Auszeichnung für Leistungen auf Weltniveau in der …

24. Nov 2021 | By Christoph Pöppe | 19 comments

The mathematics of disease: A discussion about epidemic modeling in the pandemic era

“All models are wrong, but some models are useful,” epidemiologists sometimes say. Their old aphorism has certainly been proven right during the COVID-19 pandemic. Mathematical models of the spread of the coronavirus have often been …

10. Nov 2021 | By Martin Enserink | 2 comments

Fun with False Proofs

This year’s HLF included a fascinating discussion between ACM AM Turing Award laureates Leslie Lamport and Whitfield Diffie, written up in full here by blog team member Andrei Mihai. As part of the conversation, when …

06. Oct 2021 | By Katie Steckles | 8 comments

How Human Connection Drives the Scientific Process

A somewhat surprising theme emerged during the “Scientific Vocation Revisited – Can Future Discoveries be Made by Artificial Intelligence?” session at the 8th Heidelberg Laureate Forum (HLF). The session featured panelists Jeffrey A. Dean (ACM …

04. Oct 2021 | By Khari Douglas | 4 comments

From privacy to CO2 emissions: the implications of information technology

Information technology seems to be playing an ever-growing role in our society. But while the positive effects are clear to see, the potential pervasive effects are not always as obvious. In a #HLF21 dialogue that …

01. Oct 2021 | By Andrei Mihai | 5 comments

So, what is the use of epidemiological models?

What, then, is the use of epidemiological models? That was a central thread running through Tuesday’s hot topic panel on “Mathematics of Disease – the Science of Epidemic Modelling.” And the panel was an interesting …

29. Sep 2021 | By Markus Pössel | 2 comments

What does the future of math and computing hold?

On the final day of the 2021 Heidelberg Laureate Forum a panel of laureates convened to discuss “Advances in Computer Science, Mathematics and Computing.” The panel included Vint Cerf (2004 Turing Award), Yoshua Bengio (2018 …

24. Sep 2021 | By Khari Douglas | 3 comments

Sketchnotes of the Laureate Dialogue: Leslie Lamport and Whit Diffie talk about writing algorithms and proofs.

23. Sep 2021 | By Constanza Rojas-Molina | 0 comments

BLOG: Heidelberg Laureate Forum

Posts in Category ‘Computer Science’