Links und Funktionen


Inhaltsbereich

Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen

Prof. Dr. Jasmin Blanchette

Schwerpunkte in Lehre und Forschung:

  • Logik in der Informatik
  • Grammatiken und Maschinenmodelle
  • Interaktives Theorembeweisen (Beweisassistenten)
  • Automatisches Theorembeweisen


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

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


Sekretariat:
Patricia Dewhirst

Artikelaktionen


Funktionsleiste