Lebenslauf in deutscher SpracheLink to Curriculum Vitae in englisch languageBack to homepage

Curriculum Vitae

Name: Jost, Steffen Picture of Steffen Jost
Birth: 1975, Groß-Umstadt, Germany
Currently dwelling: Munich, Germany
Telephone: +49 89 21 80 91 39
eMail: CLICK TO USE: jost( bei )tcs PUNKT ifi PUNKT lmu PUNKT de


since October 2010 "Wissenschaftlicher Mitarbeiter", since January 2011 "Akademischer Rat", within the research group for Theoretical Computer Science at the Institute for Informatics, Ludwig-Maximilians-University, Munich, Germany
Doctorate: September 2010
"Doktor der Naturwissenschaften" (Dr. rer. nat.), LMU Munich, Germany
Research Fellowship: 2005-10 Research Fellow as a member of the EU Framework VI Project IST-510255 EmBounded at the Department of Computer Science of the University of St Andrews, Scotland (UK)
Graduate studies: 2002-05 Research unit for theoretical computer science, Ludwig-Maximilians-University, Munich, Germany
Scholarship holder as a member of the PhD programme Logic in Computer Science, German Research Foundation
First Degree: February 2002 Diplom Mathematik, Technical University of Darmstadt, Germany
Undergraduate studies: 1995-02 Mathematics, Technical University of Darmstadt, Germany
Military service: 1994-95 Telecommunications field repairman, Carl-Schurz-Kaserne, Hardheim, Germany
Secondary School: 1987-94 Max-Planck-Gymnasium, Groß-Umstadt, Germany
Primary School: 1981-87 Otzbergschule, Otzberg, Germany

Additional Activities:

July 2017 Schloss Dagstuhl Seminar on Resource Bound Analysis

September 2010 Schloss Dagstuhl Seminar on Modelling, Controlling and Reasoning about State

February 2008 Schloss Dagstuhl Seminar on Types, Logics and Semantics for State

September 2005 International Summer School On Applied Semantics (APPSEM II), Frauenchiemsee, Germany

April 2004 GKLI Spring School, Venice's International University, Italy

November 2003 Research visit at the IT University of Copenhagen, Denmark
Hosts: Martin Elsman and Henning Niss

August 2003 Marktoberdorf Summer School on Proof Technology and Computation, NATO Science Committee
Project 2002-05 Mobile Resource Guarantees (MRG)

August 2002 Marktoberdorf Summer School on Models, Algebras, and Logic of Engineering Software, NATO Science Committee
Traineeship: 2000-2002 Student apprentice at the department for research and development of the Fraport AG, Frankfurt/Main, Germany
Duties: simulation and evaluation of apron traffic guidance strategies
Year abroad: 1998-1999 School of Computer Science, University of Birmingham, United Kingdom

1996-1998 Various duties for the Fachschaft Mathematik, including membership in a selection committee for a full professorship, and lead organisation of official social activities.
Traineeship: 1994-1998 Self-dependent sale and installation of ISDN telecom systems within the parental handicraft enterprise
Traineeship: Summer 1992 Voluntary trainee ship at ESA/ESOC in Darmstadt, Germany

Lebenslauf in deutscher SpracheLink to Curriculum Vitae in englisch language
October 2011
Back to homepage