Dr. Steffen Jost
Akademischer Rat

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: | L 103 |
Sprechstunde: | Mittwochs, 13h-14h (oder nach Vereinbarung) |
Forschung
- Vollständige Publikationsliste
- Bounding costs of lazily evaluated programs (paper & 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 2019
- Wintersemester 2017/18
- FFP: Fortgeschrittene Funktionale Programmierung
- SEP-NF: Softwareentwicklungspraktikum für das Nebenfach
- Seminar: Effective Java
- Sommersemester 2018
- ProMo: Programmierung und Modellierung
- Hauptseminar Effiziente Datenstrukturen
- Wintersemester 2017/18
- EiP: Einführung in die Programmierung
- SEP-NF: Softwareentwicklungspraktikum
- Seminar "Ausgewählte Themen der Informatik"
- Sommersemester 2017
- Fortgeschrittene Funktionale Programmierung
- Kryptographie
- Logik & Diskrete Strukturen
- Probabilistische Programmierung
- Wintersemester 2016/17
- Softwareentwicklungspraktikum Nebenfach
- Automata Theory
- Statische Programmanalyse
- Design und Verifikation paralleler und nebenläufiger Algorithmen
- Sommersemester 2016
- Wintersemester 2015/16
- Einführung in die Programmierung
- Grundlagen der Analysis (für Informatiker)
- Fortgeschrittene Funktionale Programmierung
- Sommersemester 2015
- Programmierung und Modellierung
- Formale Methoden der IT-Sicherheit
- Wintersemester 2014/15
- Sommersemester 2014
- Wintersemester 2013/14
- Sommersemester 2013
- Wintersemester 2012/13
- 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
Sonstiges
- Folien des Vortrags "Überblick über Haskell", Python User Group Munich, 19.02.2013
- Steffen bei der Arbeit
- Lebenslauf
Artikelaktionen