Links und Funktionen
Sprachumschaltung

Navigationspfad
You are here: Home


Inhaltsbereich

Group for Theoretical Informatics

Prof. Martin Hofmann, PhD, Chair

 

Focus in Teaching and Research:

  • Logic in Computer Science
  • Type systems and  verification
  • Computer-Aided Formal Reasoning
  • Declarative Programming
  • Implicit Complexity Theory
  • Type theory and lambda calculus
  • 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

Document Actions


Funktionsleiste