Antrittsvorlesung von Prof. Dr. Christoph Kreitz
Zum Thema "Wo ist die Logik in unserer Software?" hielt Prof. Dr. Christoph Kreitz am 27. Mai 2004 seine Antrittsvorlesung an der Universität Potsdam. Der Wissenschaftler bekleidet eine Professur für Theoretische Informatik. Software ist seit einigen Jahren ein integraler Bestandteil des Alltagslebens geworden. Die Zuverlässigkeit von Software ist allerdings immer noch mehr als unzureichend und Softwarefehler sind immer häufiger die Ursache für kostspielige und fatale Pannen. Der Referent analysierte die logischen Hintergründe solcher Pannen beispielhaft und diskutierte einige Antworten, welche die Forschung und Lehre in der Informatik heute darauf geben kann.