Education

2018 – present PhD in Mathematical Logic
2016 – 2018 Master in Logic and Computation, Technische Universität Wien
2012 – 2016 Bachelor in Software & Information Engineering, Technische Universität Wien