Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
|Room:||HA0402 (how to get there)|
- I am a PhD student funded by the FWF project P27721 and partially by Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in September 2015 under the supervision of Prof. Dr. Stefan Szeider. I am also a project assistant in the Algorithms and Complexity Group.
- MSc in Mathematics (Comenius University, Bratislava, Slovakia)
- BSc in Mathematics (Comenius University, Bratislava, Slovakia)