ETAPS 2019 (series) / Steffen Jost
![Steffen Jost](https://conf.researchr.org/getProfileImage/steffenjost/ca153e8d-b753-401c-b8a1-8f869b87c6fb/small.jpg?1711521227000)
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
ETAPS 2019-profile
View general profile
View general profile