Prof. Martin Hofmann, PhD, Chair

Focus in Teaching and Research:

• Logics in Computer Science
• Computer-Aided Formal Reasoning
• Information Flow Analysis
  
• Lambda Calculus and Type Theory
• Declarative Programming
• Implicit Complexity Theory
• Automatic Program Verification
• Algorithmic Game Theory
• Didactics of Computer Science
  

Address:
Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Theoretische Informatik
Oettingenstraße 67
D-80538 München

Tel.: +49-89-2180-9337
Fax: +49-89-2180-9338
 

Secretary:
Sigrid Roden