I am currently a PhD student in the DFG research training group Quantitative Logics and Automata (QuantLA). My supervisor is Prof. Dr. Christel Baier who holds the Chair of Algebraic and Logical Foundations of Computer Science at the Institute of Theoretical Computer Science at Technische Universität Dresden.
Recently I received a master's degree in Mathematics from TU Dresden. During the masters programme I spent a year as an Erasmus exchange student at Heriot-Watt University in Edinburgh, Scotland.
|Phone:||+49 (0) 351 463 38293|
Room APB 3004
Nöthnitzer Straße 46
|Postal Address:|| TU Dresden