Office
N/A
Email
firstname . lastname (at) this host but without www2.tcs.
External Member
Lehrstuhl für Theoretische Informatik
Ludwig-Maximilians-Universität München

Formal Methods and Software Verification
Universität Kassel

Former Affiliation
Angewandte Informatik VII (Theoretical Computer Science)
Universität Bayreuth
Interests
Automata Theory, Computational Complexity, Mathematical Logics, Modal and Temporal Logics, Model Checking, Parity Games, Proof Complexity, …

Publications

Last modified: 2021-11-09