List of my publications with access options
Syllabi and course notes
Ongoing and past grants
News
- Sept 2026: This winter term I am teaching a topics class in computability theory at TU Wien. Course notes (irregularly updated) can be found here.
- June 2026: Two new preprints out 1 2 plus my contribution to this years Panhellenic logic symposium.
About Me
I am a mathematician working at the Institute of Discrete Mathematics at Technische Universität Wien. Currently, I am PI of the international project “Structural Complexity Measures for Foundational Theories” and the project “A novel degree class arising from computable structures” funded by the Austrian science fund FWF. I am interested in computability theory and its interactions with other areas of logic such as descriptive set theory and model theory. Please see publications for more on my research. Under teaching you can find syllabi of courses I have taught and course notes. In August 2024 I completed my Marie Skłodowska Curie fellowship ACOSE, see its project page.
Events & Seminars I am involved in
- Our local research seminar, Wednesdays 10am during the semester.
Recent Blogposts
The degrees of categoricity above 0’’
Consider the ordering \(\omega\) of the natural numbers \(0\leq 1\leq 2\leq 3...
Turing degrees that compute HYP but can not compute Kleene’s O.
Update 30.07.2025: There was a mistake in the main theorem claiming that for ...
Other notes
Non peer-reviewed notes on topics I am interested in.