office:
phone:
fax:
email:

secretary:
office:
phone:
opening hours:



 consultation hour:

Z1.07
+49 (0) 89  21 80 93 41
+49 (0) 89  21 80 93 38
mhofmann@informatik.uni-muenchen.de

Sigrid Roden
Z 1.05
+49 (0) 89  21 80 93 37
 Monday - Thursday 9 am - 1.30 pm
November 4th and 5th the office will be closed.


Thursday 12 am- 1 pm
click here for:
consultation hours of the whole institute

address:






How to reach the Institute:

Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für
Theoretische Informatik

Oettingenstraße 67
80538 München - Germany

click here

My research interests include: type theory, principles of programming languages,
semantics, category theory, mathematical logic, formal methods.

.