I am a research assistant and
PhD student at the Department of Informatics of the
Technische Universität München. My
PhD thesis is supervised by Prof. Veith at the Department of Informatics of the
Technische Universität Darmstadt. My
research interests include:
- SAT Solving
- Model Checking
- Computational Complexity
- Embedded Systems
- Model-Based Development