I am a Project Leader at the Institute of Discrete Mathematics and Geometry of the Vienna University of Technology, Austria, where I am the Principal Investigator of FWF projects I4513, TAI-797, ESP-3, and P36837, and holder of an APART-MINT Fellowship of the Austrian Academy of Sciences.
In addition, I am a guest researcher at the Faculty of Mathematics of the University of Hamburg, Germany.
Moreover, I am an FWO fellow (on leave) at the Department of Mathematics of Ghent University, Belgium.
last name at logic.at
firstname.lastname at tuwien.ac.at
firstname.lastname at ugent.be
All areas of Mathematical Logic, including Proof Theory; Set Theory; Recursion Theory; Model Theory; non-classical, many-valued, and modal logics; as well as interactions between these areas.
Feel free to get in touch if you're interested in Bachelor's, Master's, or PhD projects, or in a short postdoc or visiting position in any of my areas of interest.
Our special issue of Philosophical Transactions of the Royal Society has now been published on the Royal Society's website. See the blog post.
This website uses cookies. By continuing to use this site, you accept our use of cookies.