Research Unit
Computational Logic


The research areas of our group are mathematical logic and theoretical computer science.

Topics of particular interest are proof theory, formal language theory, Hilbert's epsilon-calculus, many-valued logics, fuzzy logic, automated deduction, juridical logic.


For a list of all courses held by members of the Institute of Discrete Mathematics and Geometry please see the listing in TISS.

If you are interested in a bachelor, master or PhD thesis please contact us personally.



Matthias Baaz (head)
Stefan Hetzl
Werner Kuich (emeritus)
Daniel Weller


Bahareh Afshari
Sebastian Eberhard
Gabriel Ebner
Graham E. Leigh
Bernhard Mallinger
Esko Turunen
Sebastian Zivota

Former Members

Arnold Beckmann
Lev Beklemishev
Rosalie Iemhoff
Sándor Jenei
Norbert Preining
Sebastiaan Terwijn
Friedrich Urbanek (retired)
Anna Zamansky