Back
to homepage
| Name: | Jost, Steffen |  |
|||
| 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 | ||||
|
|
|
|
|
|
|
|
|
|||||
| Education: |
|
|
|||
|
|
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 |
|||
|
|
|
|
|
|
|
|
|
|||||