He received his Masters degree (1989) and Doctor degree (1992) in Computer Science as well as Habilitation (Venia Docendi in Praktische Informatik) from the Vienna University of Technology. From 1990 to 1992 he was a Research Assistent in the FWF project "Interoperability of Autonomous Databases" at the Compilers and Languages Group. Then, he became an Assistant Professor and in 2001 an Associate Professor at the same group. His current research interests are in the area of type systems for object-oriented and concurrent programming.