ETAPS 2019 (series) / 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
ETAPS 2019-profile
View general profile
View general profile