Ludwig-Maximilians-Universität München

The chair for Theoretical Computer Science at LMU Munich carries out research in programming languages (semantics, type theory, program logics), complexity theory, and verification (theorem proving, model checking). For the past three years, we have been collaborating with the Mobility and Security group at the University of Edinburgh in the Mobile Resource Guarantees project, where we developed quantitative type systems and program logics for certifying resource-related properties of Java bytecode programs. In MOBIUS, we coordinate work package 2 (type-based verification), and participate in work packages 1 to 4, 6, and 7. We also participate in the EmBounded project, which develops analysis and certification technology for embedded systems.

Contact: Prof Dr Martin Hofmann