Die Fakultät für Informatik der Technischen Universität München lädt ein zum

am Dienstag,
den 30. Mai 2006
um 16:30 Uhr
im Hörsaal HS2
des MI-Gebäude in Garching

Programm

Empfang

Begrüßung

Johann Schlichter
Dekan

Rudolf Schilling
Vizepräsident

Distinguished Affiliated Professor – Eine neue Professur der TUM

Die TU München hat diesen Ehrentitel eingeführt für Professoren (full professor) einer ausländischen Universität, die sich in ihrem Fachgebiet internationales Renommee erworben haben, zu den Spitzenforschern ihres Fachs zählen und seit einigen Jahren mit der TUM enge Beziehungen in Lehre und Forschung unterhalten.

Laudatio

Tobias Nipkow

Antrittsvorlesung

Lawrence C. Paulson
University of Cambridge UK
The Quest for Greater Automation

Festvortrag

John Harrison
Intel Corp.
Real Numbers in the Real World – Industrial Applications of Theorem Proving

Der Ausgezeichnete

Lawrence C. Paulson (51) ist Full Professor an der University of Cambridge, England. Er arbeitet seit 1992 eng mit der Arbeitsgruppe von Tobias Nipkow und dem Lehrstuhl von Manfred Broy zusammen. Gegenstand der Zusammenarbeit ist die Forschung zum Thema interaktive, computergestützte mathematische Beweise, und insbesondere die Entwicklung von Isabelle, einem System für mathematische Beweise. Im Jahr 2003 wurde Isabelle beim Erfinderbüro der TUM als Gemeinschaftserfindung von TUM und Cambridge angemeldet. Isabelle wird in vielen Projekten eingesetzt, von der Softwareverifikation bis zur Überprüfung von Thomas Hales' Beweis der Keplerschen Vermutung. Herr Paulson hat die Forschungsgebiete Maschinelles Beweisen und Verifikation Kryptographischer Protokolle durch seine theoretischen und praktischen Arbeiten entscheidend geprägt.