Department of Computer Science
Modeling and Analysis of Information Systems
After graduating in mathematics at the TU Darmstadt I joined the Security Engineering Group of Prof. Heiko Mantel at RWTH Aachen University. The group moved to the TU Darmstadt in 2007 and is by now known by the name "Modeling and Analysis of Information Systems".
My research interests are:
Unpublished Appendices / proofs: