Computation with Bounded Resources
Research Group

Current Projects

The Fine Structure of Formal Proof Systems and their Computational Interpretations (FISP)

Complexity Analysis-based Guaranteed Execution (CAGE)

Automated Complexity Analysis via Transformations (ACAT)

Associated Projects

Satisfiability Checking and Symbolic Computation (SC^2-CSA)

Completed Projects

Structural and Computational Proof Theory

Logic-Based Analysis of Computation

Derivational Complexity Analysis