Technische Universität Graz
Im Oktober 1993 wurde er als ordentlicher Universitätsprofessor für Softwaretechnologie an die Technische Universität Graz berufen, im Juli 2001 erfolgte die Emeritierung. Ab 1994 war er Vorsitzender der "Formal Methods Europe" (FME) sowie korrespondierendes Mitglied der Österreichischen Akademie der Wissenschaften.