Dr. Steffen Jost
Akademischer Rat a.Z.
| E-Mail: | steffen [dot] jost [at] ifi [dot] lmu [dot] de |
| Telefon: | +49-89-2180-9139 |
| Fax: | +49-89-2180-9338 |
| Adresse: |
Lehr- und Forschungseinheit für Theoretische Informatik Institut für Informatik Ludwig-Maximilians-Universität München |
| Oettingenstr. 67, 80538 München | |
| Raum: | E 109 |
| Sprechstunde: | Donnerstags, 15:00h-16:00h |
Forschung
- Vollständige Publikationsliste
- Bounding costs of lazily evaluated programs (online-demo)
- Dissertation "Automated Amortised Analysis"
- Static Determination of Quantitative Resource Usage for Higher-Order Programs, POPL'10
- Allgemeine Forschungsthemen
- Statische Programmanalyse für quantitative Programmeigenschaften (Speicherverbrauch, Laufzeit, etc.)
- Typsysteme
- Formale Methoden
- Funktionale Programmierung
Lehre
- Sommersemester 2012
- Wintersemester 2011/12
- Sommersemester 2011
- Wintersemester 2010/11
- Einführung in die Informatik: Programmierung und Software-Entwicklung
- Staatsexamensvorbereitung Lehramt Informatik an bayerischen Gymnasien
