Dr. Stephan Mennicke

is fine and healthy. 🥦

Angestellt, Postdoctoral Researcher, Technische Universität Dresden
Dresden, Germany

Fähigkeiten und Kenntnisse

Formal Methods
Systems and Algorithms Design
Theory of Distributed Systems
Petri net theory
Automata theory & formal languages
I/O Conformance Testing
Process Algebra
Process Calculi
Semantics
Softwareentwicklung

Werdegang

Berufserfahrung von Stephan Mennicke

  • Current 6 years and 1 month, since May 2020

    Postdoctoral Researcher

    Technische Universität Dresden
  • 6 years and 8 months, Sep 2013 - Apr 2020

    Research Assistant

    TU Braunschweig

  • 2 years, Sep 2011 - Aug 2013

    Research Assistant

    TU Braunschweig

  • 11 months, Oct 2010 - Aug 2011

    Studentische Hilfskraft

    Technische Universität Braunschweig

  • 5 months, May 2010 - Sep 2010

    Studentische Hilfskraft

    Universität Rostock

  • 3 months, Feb 2010 - Apr 2010

    Praktikant

    GECKO mbH

    Analyzing, modeling and simulating peri-operative workflows of a clinical case study.

  • 1 year and 6 months, Aug 2008 - Jan 2010

    Studentische Hilfskraft / Student Assistent

    Universität Rostock

    Development and Implementation of algorithms for services.

Ausbildung von Stephan Mennicke

  • 6 years and 8 months, Aug 2013 - Mar 2020

    Computer Science

    TU Braunschweig

    graph query languages, large-scale graph pattern matching, query language semantics former: Concurrency Theory, Principles of Distributed Computing, Petri net Theory

  • 2 years and 5 months, Apr 2011 - Aug 2013

    Informatics/Computer Science

    University of Technology Braunschweig

    Concurrency Theory, Computational Complexity, Category Theory, Principles of Logics and Model Checking, Online Algorithms

  • 3 years and 6 months, Oct 2007 - Mar 2011

    Informatics/Computer Science

    University of Rostock

Sprachen

  • English

    C1 (Fließend)

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • French

    A1-A2 (Grundkenntnisse)

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 21 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z