Research Unit
Computational Logic


Research

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.

Teaching

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.

Members

Faculty

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

Researchers

Bahareh Afshari
Federico Aschieri
Gabriel Ebner
Graham E. Leigh
Esko Turunen
Sebastian Zivota

Former Members

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