ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Steffen Jost
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

Show activities from other conferences

ETAPS 2019-profile
View general profile