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 TAI-797, ESP-3, and P36837.
I am also a Project Leader at the Kurt Gödel Research Center of the University of Vienna, where I hold an APART-MINT fellowship of the Austrian Academy of Sciences.
Moreover, I am an FWO fellow (on leave) at the Department of Mathematics of Ghent University, Belgium.
For mathematical or academic matters: last name at logic.at
For university-related matters: firstname.lastname at {tuwien.ac.at,ugent.be,univie.ac.at}
For miscellaneous matters: contact at thisdomain (.ag; see URL).
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.
Computational Logic Seminar at TU Wien.
Set Theory and Algebra seminars at TU Wien.
Logic seminars at the University of Vienna.
Ghent Mathematical Logic Seminar at Ghent University.
Our special issue of Philosophical Transactions of the Royal Society [vol. 281, issue 2248, May 2023] on Modern Perspectives in Proof Theory has now been published on the Royal Society's website. See the blog post.
Trends in Proof Theory 2024, February 5th–16th, TU Wien.
This website uses cookies. By continuing to use this site, you accept our use of cookies.