Steffen Jost
Dr. rer. nat.

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

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

• Publications
• Most recent research: Bounding cost of lazily evaluated programs.
• Amortized Resource Analysis (online interface)
• EmBounded project (EU Framework VI Project IST-510255)
• Islay project (EPSRC)
• Functional Programming Group St Andrews

Teaching

• SoSe2012:
  • Funktionale Programmierung
  • Logik und Diskrete Strukturen
• Teaching during previous terms at LMU

Curriculum Vitae

Miscellaneous

TCS    IFI    LMU

Always remember to have fun!

March 2012