Wer Auto fährt oder im Flugzeug reist, ahnt häufig nichts von der Existenz eingebetteter Computer in der Technik dieser Verkehrsmittel. Diese Rechner müssen nicht nur korrekte Ergebnisse berechnen, sondern diese auch innerhalb vorgegebener, oft sehr kurzer Fristen liefern. Echtzeitanalysen sind somit von zentraler Bedeutung für alle Branchen, in denen Software für die Entwicklung von sicherheitskritischen Systemen verwendet wird. Reinhard Wilhelm,  wissenschaftlicher Direktor des Leibniz-Zentrums für Informatik in Schloss Dagstuhl, stellt in seinem Vortrag eine Lösung dieses Verifikationsproblems vor, die in der Flugzeug- und der Autoindustrie verwendet wird.

Die Leopoldina-Vorlesung ist die Auftaktveranstaltung des Symposiums „Die Zukunft der Forschung – Forschen für die Zukunft", das am Donnerstag, 27. März, stattfindet. Das Symposium der Mitglieder der Leopoldina-Klasse I – Mathematik, Natur- und Technikwissenschaften – versteht sich als Forum für den interdisziplinären Austausch. In ihren Vorträgen geben fünf renommierte Wissenschaftler Einblicke in die aktuelle Forschung der Akademie-Mitglieder. Dabei geht es um die Themen Material-Recycling, Entstehung von Planeten, Geothermie, algebraische Geometrie und Katalyse.