idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Festkolloquium für internationalen Spitzeninformatiker
Die Technische Universität München (TUM) verleiht Prof. Lawrence C. Paulson von der University of Cambridge, England, den Titel "Distinguished Affiliated Professor". Mit dieser Auszeichnung, die am 30. Mai 2006 im Rahmen eines Festkolloquiums überreicht wird, würdigt die TUM Professoren ausländischer Universitäten mit hohem internationalem Renommee und engen Beziehungen in Lehre und Forschung zur Hochschule. In seiner Antrittsvorlesung spricht Paulson zum Thema "The Quest for Greater Automation".
Lawrence C. Paulson (51) arbeitet bereits seit 1992 eng mit der Arbeitsgruppe von TUM-Informatikprofessor Tobias Nipkow und dem Lehrstuhl von Prof. Manfred Broy zusammen. Gemeinsam mit den TUM-Wissenschaftlern entwickelte er den Theorembeweiser "Isabelle", ein computergestütztes maschinelles System zur mathematischen Beweisführung. Isabelle ist im weltweiten Maßstab eines der leistungsfähigsten und erfolgreichsten Werkzeuge für die Ausarbeitung rechnergestützter Beweise, mit dem noch im Entwicklungsprozess die Funktionstüchtigkeit einer Software sichergestellt werden kann. Paulson wandte Isabelle erfolgreich beim Beweisen der Sicherheitseigenschaften kryptografischer Protokolle an, wie sie in Webbrowsern beim Versand sensitiver Daten zum Einsatz kommen. Im Erfinderbüro der TUM ist Isabelle als Gemeinschaftserfindung von TU München und University of Cambridge angemeldet.
Das Festkolloquium findet statt am Dienstag, den 30. Mai 2006 (Beginn 16:30 Uhr), im Hörsaal HS2 der Fakultät für Informatik, Boltzmannstr. 3, 85748 Garching.
Programm:
Begrüßung: Prof. Johannes Schlichter, Dekan der Fakultät für Informatik
Laudatio: Prof. Tobias Nipkow, Fakultät für Informatik
Antrittsvorlesung: Prof. Lawrence C. Paulson, University of Cambridge
"Computational Logic: The Quest for Greater Automation"
Festvortrag: Dr. John Harrison, Intel Corp.
"Real Numbers in the Real World - Industrial
Applications of Theorem Proving"
Medienvertreter sind herzlich willkommen.
Criteria of this press release:
Information technology
transregional, national
Personnel announcements
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
