The research areas of our group are mathematical logic and theoretical computer science.
Topics of particular interest are proof theory, formal language theory, computable structure theory, Hilbert's epsilon-calculus, many-valued logics, fuzzy logic, automated deduction, juridical logic.
If you are interested in a bachelor, master or PhD thesis please contact us personally.
Graham E. Leigh
Friedrich Urbanek (retired)