Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen, Institut für Informatik
print

Sprachumschaltung

Navigationspfad


Inhaltsbereich
Hans Jürgen Ohlbach

Prof. Dr. em. Hans Jürgen Ohlbach

Extra-Ordinarius

Aufgabengebiet

Ab 1.10.2016 bin ich nicht mehr Studiendekan und Prüfungsausschussvorsitzender. Das ist jetzt Prof. Dr. Christian Böhm.

Kontakt

Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Oettingenstraße 67
D-80538 München


Weitere Informationen

Ein neues Buch:

Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Das Buch gibt es auch innerhalb des Instituts für Informatik der LMU unter
Teil 1 und Teil 2