In diesem Sommersemester ist auf Einladung des Instituts für Computersprachen (E185) mit Unterstützung des Studiendekanats für Informatik Professor Dr. Dr.h.c. Dines Bjørner an der Fakultät für Informatik zu Gast. Professor Bjørner war von 1976 bis zu seiner Emeritierung 2007 Professor an Danmarks Tekniske Universitet in Lyngby, Dänemark. Gastprofessuren haben ihn u.a. an die University of California at Berkely geführt, an Københavns Universitet, die Christian-Albrechts-Universität zu Kiel, die National University of Singapore und das Japan Advanced Institute of Science and Technology.
Von 1992 bis 1997 war Professor Bjørner UN-Direktor des International Institute for Software Technology (IIST) der United Nations University in Macao. Professor Bjørner ist ACM Fellow und IEEE Fellow, Mitglied der Academia Europaea und der Russischen Akademie der Naturwissenschaften. Unter seinen zahlreichen weiteren Ehrungen und wissenschaftlichen Auszeichnungen seien besonders die Auszeichnung mit der John-von-Neumann Medaille und der Ths.-Masaryk Goldmedaille hervorgehoben sowie das Ehrendoktorat der Masarykova Univerzita in Brno, Tschechien. 1986 wurde Professor Bjørner von Margrethe II, Königin von Dänemark, zum Ritter geschlagen.
In diesem Sommersemester kommt Professor Bjørner nach Wien zurück, wo er 1973 bis 1975 am IBM Vienna Lab insbesondere die wegweisende Vienna Development Method (VDM) maßgeblich mitentwickelt hat.

In seiner Vorlesung beleuchtet Professor Bjørner das Spannungsfeld aus Software-Engineering, Domain Engineering und Requirements Engineering. Die in der Vorlesung präsentierten theoretischen Inhalte
werden im Rahmen von Projektgruppenarbeit praktisch umgesetzt und vertieft.

Die Vorlesung wird in englischer Sprache abgehalten und richtet sich an Studierende des Doktoratsstudiums der technischen Wissenschaften, insbesondere an Studierende der Vienna PhD School of Informatics, sowie an fortgeschrittene Studierende der Masterstudiengänge der
Fakultät für Informatik.
Die Vorlesung findet täglich von 12.04.- 30.04.2010 von 09:00 - 11:00 Uhr und von 14:00 - 16:00 Uhr statt.