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