The research group primarily represents the subject area of Mathematical Logic viewed as an applied foundational discipline between mathematics and computer science. Research activities focus on the application of proof theoretic, recursion theoretic, category theoretic, algebraic and model theoretic methods from mathematical logic to mathematics and computer science.

Beside classical mathematical logic (with proof theory, recursion theory and model theory) this involves constructive type theory, categorical logic, universal algebra, domain theory, lattice theory, finite model theory, and algorithmic issues.