Steffen Jost

Registered user since Thu 18 Dec 2014

Name: Steffen Jost

Bio: since 2010 LMU Munich, Germany

2005-2010 University of St Andrews, UK

2002-2005 LMU Munich, Germany

1995-2002 TU Darmstadt, Germany

Country: Germany

Affiliation: LMU, Munich, Germany

Personal website: https://www.tcs.ifi.lmu.de/mitarbeiter/steffen-jost

Research interests: Type Systems, Functional Programming, Program Analysis, Formal Methods

Contributions

DICE-FOPARA 2019Session Chair of II (part of DICE-FOPARA)
Session Chair of I (part of DICE-FOPARA)
Chair in Program Committee within the DICE-FOPARA-track
ESOP 2015Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track