Professur für Grundlagen der Informatik, Universität Bamberg
Aktuelle Tätigkeit: Forschung und Lehre zu theoretischen Grundlagen der Informatik, speziell konstruktive Modallogik und Typentheorie, Semantik von synchronen Datenfluss-Programmiersprachen, Modellierung nebenläufiger Systeme, funktionale Programmierung.
Studium: Informatik und Mathematik in Erlangen und Wien.
Promotion: Universität Edinburgh, Laboratory for Foundations of Computer Science
Habilitation: Universität Passau in Informatik
Forschungs- und Lehrtätigkeiten an der Universität Edinburgh, Dänischen Technischen Universität Lyngby, Universität Passau, Universität Rom La Sapienza, Universität Sheffield; seit 2002 Professur für Grundlagen der Informatik in Bamberg.