Lehr- und Forschungseinheit für Theoretische Informatik

Prof. Martin Hofmann, PhD, Ordinarius

 

Schwerpunkte in Lehre und Forschung:

  • Logik in der Informatik
  • Rechnergestütztes Beweisen
  • Informationsflussanalyse
  • Lambda-Kalküle und Typtheorie
  • Deklarative Programmierung
  • Implizite Komplexitätstheorie
  • Automatische Programmverifikation
  • Algorithmische Spieltheorie
  • Didaktik der Informatik


Adresse:
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
 

Sekretariat:
Sigrid Roden