Prof. Dr. Dirk Beyer ist der neue Inhaber des Lehrstuhls für Softwaresysteme in der Fakultät für Informatik und Mathematik an der Universität Passau. Am Freitag (31. Juli) hat er seine Ernennungsurkunde aus den Händen von Universitätspräsident Prof. Dr. Walter Schweitzer erhalten.
Dirk Beyer wurde 1972 in Finsterwalde (Brandenburg) geboren. Er studierte von 1994 bis 1998 an der Brandenburgischen Technischen Universität Cottbus Informatik. Für seine Diplomarbeit hat er 1998 den Universitätspreis erhalten. Nach seinem Studium war er als Software-Ingenieur bei der Siemens AG in Dresden tätig. Bereits zum Wintersemester 1998 kehrte er aber an die Brandenburgische Technische Universität Cottbus zurück und arbeitete dreieinhalb Jahre als wissenschaftlicher Mitarbeiter an seiner Promotion, die er 2002 mit der Arbeit "Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata" abschloss. Im September 2003 ging er für ein Jahr als Postdoctoral Researcher an die University of California, Berkeley (USA), um internationale Erfahrung an einem der weltbesten Forschungsinstitute zu sammeln. Von 2004 bis 2006 forschte er an der Eidgenössischen Technischen Hochschule Lausanne (Schweiz), bevor er - zurück an der pazifischen Westküste - an der kanadischen Simon Fraser University (Vancouver) sein erstes Professorenamt antrat.
Sein Schwerpunkt in Forschung und Lehre ist die Softwaretechnik. Seine Vision ist, dass eines Tages Softwaresysteme mit der gleichen Sicherheit und Selbstverständlichkeit gebaut werden können wie heutzutage mechanische Maschinen oder statische Bauwerke. In der Lehre möchte er daher die angehenden Informatiker für die Aspekte der qualitätsgerechten Softwareentwicklung sensibilisieren und sowohl notwendige altbekannte als auch forschungsnahe Inhalte vermitteln, um junge Leute optimal auf die berufliche Praxis vorzubereiten. Seine konkreten Ziele und Aufgaben in der Forschung leitet er auch aus seiner Vision ab -er entwickelt Technologien, Methoden und Werkzeuge zur Softwareanalyse und zur qualitätsgerechten Entwicklung zuverlässiger Softwaresysteme. Unter anderem arbeitete er am weltweit führenden Verifikationswerkzeug für Software BLAST, und er entwickelte eine der besten relationalen Programmiersprachen und den zugehörigen effizienten Interpreter CrocoPat.
Der verheiratete Vater von drei Kindern war 13 Jahre lang passionierter Hobby-Imker und fühlt sich in den Bergen am wohlsten. In seiner Freizeit erkundet er gern Naturparks, wandert und fährt Ski.
*********************************************************************
Hinweis an die Redaktionen: Rückfragen zu dieser Pressemitteilung richten Sie bitte an die Pressestelle der Universität Passau, Tel. 0851/509-1430.