| layout | title | permalink |
|---|---|---|
page |
Curriculum Vitae |
/cv/ |
| :--------------- |:-------------| | 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 |