idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
TURING-Preis-Gewinner Professor Amir Pnueli hält Vortrag
Professor Amir Pnueli vom Weizmann Institute (Israel) und der New York University (USA) ist vom 24.-26.11.2008 Gast am Institut für Informatik der Albert-Ludwigs-Universität Freiburg. Er wird am 26.11.2008 an der Fakultät für Angewandte Wissenschaften einen öffentlichen Vortrag halten. Das Thema lautet "Synthesis of Designs from Property Specifications" ("Synthese reaktiver Systeme aus Spezifikationen ihrer Eigenschaften").
Vortrag von Prof. Amir Pnueli am
Mittwoch, 26.11.2008 um 16.00 Uhr in Raum 101-00-036
der Fakultät für Angewandte Wissenschaften
Prof. Pnueli erhielt 1996 den "Turing Award", den "Nobel-Preis der Informatik", den die Association for Computing Machinery jährlich für herausragende Verdienste in der Informatik verleiht. Der Preis ist mit 250.000 US-Dollar dotiert. Pnueli beschäftigte sich mit der Frage, wie man die Korrektheit von Programmen formalisieren kann, die keine Funktion berechnen, sondern oft nebenläufige, "parallele" Prozesse steuern. Beispiele hierfür sind Betriebssysteme, Kontrollsysteme für Kraftwerke und Steuersysteme für Automobile. 1977 zeigte er, dass die bis dahin nur von Philosophen betrachtete "Temporale Logik" eine Lösung bietet. Die wesentliche Idee dieser Logik ist es, Zeitpunkte relativ zueinander zu betrachten, in den Denkkategorien "davor", "danach" oder "so lange bis". Diese Logik kann beispielsweise ausdrücken, dass jeder Benutzer, der drucken will, nach einer gewissen Zeitspanne Zugriff auf den Drucker erhält. Dabei wird sichergestellt, dass niemals zwei Benutzer gleichzeitig auf demselben Gerät drucken. Die Einführung dieser "Temporalen Logik" in der Informatik hatte enorme Konsequenzen für die Wissenschaft und für industrielle Anwendungen.
Kontakt:
Prof. Peter Thiemann
Institut für Informatik
Tel.: 0761/203-8051
E-Mail: thiemann@informatik.uni-freiburg.de
TURING-Preis-Gewinner Professor Amir Pnueli zu Gast in Freiburg.
Merkmale dieser Pressemitteilung:
Informationstechnik
regional
Personalia, Wettbewerbe / Auszeichnungen
Deutsch
TURING-Preis-Gewinner Professor Amir Pnueli zu Gast in Freiburg.
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
