E-Mail:	steffen [dot] jost [at] ifi [dot] lmu [dot] de
Phone:	+49-89-2180-9139
Fax:	+49-89-2180-9338
Address:	Lehr- und Forschungseinheit für Theoretische Informatik Institut für Informatik Ludwig-Maximilians-Universität München
	Oettingenstr. 67, 80538 München
Romm:	E 109
Office Hour:	Thursdays, 15:00h-16:00h

Research

• Complete Publication List
• Bounding costs of lazily evaluated programs (online-demo)
• Dissertation "Automated Amortised Analysis"
• Static Determination of Quantitative Resource Usage for Higher-Order Programs, POPL'10
• General Research Topics
  • Static Programm Analysis for quantitative Resources (e.g. memory, runtime, etc.)
  • Type Systems
  • Formal Methods
  • Functional Programming

Teaching

• Summer semester 2012
  • Logik und Diskrete Strukturen
  • Funktionale Programmierung
• Winter semester 2011/12
  • Einführung in die Programmierung
  • Seminar Effiziente Funktionale Datenstrukturen
• Summer semester 2011
  • Programmierung und Modellierung
• Winter semester 2010/11
  • Einführung in die Informatik: Programmierung und Software-Entwicklung
  • Staatsexamensvorbereitung Lehramt Informatik an bayerischen Gymnasien

Further Information...