Dr. Steffen Jost

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
• ProMo: Programmierung und Modellierung
• Seminar: Perlen der funktionalen Programmierung
• 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
• Algorithmen & Datenstrukturen
• Logik & Diskrete Strukturen
• Parallele & Nebenläufige Programmierung
• 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
• Fortgeschrittene Funktionale Programmierung
• Aspekte der Programmiersprachenimplementierung
• Sommersemester 2014
• Programmierung und Modellierung
• Automatisches Beweisen
• Wintersemester 2013/14
• Softwareentwicklungspraktikum
• Sommersemester 2013
• Einführung in die Funktionale Programmierung
• Logik und Diskrete Strukturen
• Wintersemester 2012/13
  • Softwareentwicklungspraktikum
  • Verteilte und Parallele Algorithmen
• Sommersemester 2012
  
  • Logik und Diskrete Strukturen
  • Funktionale Programmierung
• Wintersemester 2011/12
  • Einführung in die Programmierung
  • Seminar Effiziente Funktionale Datenstrukturen
• Sommersemester 2011
  • Programmierung und Modellierung
• Wintersemester 2010/11
  • Einführung in die Informatik: Programmierung und Software-Entwicklung
  • Staatsexamensvorbereitung Lehramt Informatik an bayerischen Gymnasien

Sonstiges

Weitere Informationen...