Address
Angewandte Informatik VII (Theoretical Computer Science)
University Bayreuth
D-95440 Bayreuth
External Member
Lehrstuhl für Theoretische Informatik
Ludwig-Maximilians-Universität München

Formal Methods and Software Verification
Universität Kassel
Office
2.43 in the building “Angewandte Informatik”
Phone
+49 921 55-7747
Email
firstname . lastname (at) this host s/www2.tcs.ifi.lmu/uni-bayreuth/
or
firstname . lastname (at) this host s/www2.tcs.//
Interests
Automata Theory, Computational Complexity, Mathematical Logics, Modal and Temporal Logics, Model Checking, Parity Games, Proof Complexity, …

Publications

Last modified: Fri, 21 Aug 2015 15:32:40 +0200