Steffen Jost

Steffen Jost
Dr. rer. nat.

Lehr- und Forschungseinheit für Theoretische Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67, 80538 München, GERMANY


room:
phone:
fax:
eMail:





E111
+49-89-2180-9139
+49-89-2180-9338
j o s t | via | tcs PUNKT ifi PUNKT lmu PUNKT de


Research: Static Program Analysis, Type Systems, Formal Methods & Functional Programming

Teaching

Curriculum Vitae

Miscellaneous



TCSTCS    IFIIFI    LMULMU Always remember to have fun!


March 2012