graduated in Mathematics (1983) and received his Ph.D. degree in Computer Science (1986) from the University of Frankfurt/Main, Germany. He received his Dr. Habil. (1994) from the University of Saarbrücken. From 1994 until 2003 he was full Professor at the University of Trier. Since then he holds the chair for "Languages and Specification Formalisms" at TU München.
From 2009 to 2018 he was the speaker of the research training group PUMA ("Programm- Und Modell-Analyse") and now is speaker of the research training group ConVeY ("Continuous Verification of CYber-Physical Systems").
From 2013 to 2019 he was the Dean of Studies at TUM. In that period, he was involved in installing a quality management infra-structure and has helped to establish course programs for Games Engineering as well as Data Engineering. He himself has taught courses on Object-oriented Programming with Java, Functional Programming with Ocaml, a course on Fundamentals of Algorithms and Data-structures as well as a variety of advanced courses in the area of Compiler Construction.
His research agenda aims at improving safety and security of systems. He has made technical contributions to the static analysis of programs by abstract interpretation and model checking. He has developed efficient generic fixpoint algorithms, expressive domains for numerical invariants. He is interested in the analysis of concurrent and parametric systems as well as of safety critical C programs. He has also worked on information flow analysis, the analysis of cryptographic protocols, and technical formalisms for that such as tree automata and Horn clauses.