Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite


Inhaltsbereich

Lehr- und Forschungseinheit für Theoretische Informatik

Prof. Martin Hofmann, PhD, Ordinarius

 

Schwerpunkte in Lehre und Forschung:

  • Logik in der Informatik
  • Typsysteme und Verifikation
  • Rechnergestütztes Beweisen
  • Lambda-Kalküle und Typtheorie
  • Deklarative Programmierung
  • Implizite Komplexitätstheorie
  • 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

 

Artikelaktionen


Funktionsleiste