Dr. Stephan Mennicke

is fine and healthy. 🥦

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

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

  • Bis heute 5 Jahre und 2 Monate, seit Mai 2020

    Postdoctoral Researcher

    Technische Universität Dresden
  • 6 Jahre und 8 Monate, Sep. 2013 - Apr. 2020

    Research Assistant

    TU Braunschweig

  • 2 Jahre, Sep. 2011 - Aug. 2013

    Research Assistant

    TU Braunschweig

  • 11 Monate, Okt. 2010 - Aug. 2011

    Studentische Hilfskraft

    Technische Universität Braunschweig

  • 5 Monate, Mai 2010 - Sep. 2010

    Studentische Hilfskraft

    Universität Rostock

  • 3 Monate, Feb. 2010 - Apr. 2010

    Praktikant

    GECKO mbH

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

  • 1 Jahr und 6 Monate, Aug. 2008 - Jan. 2010

    Studentische Hilfskraft / Student Assistent

    Universität Rostock

    Development and Implementation of algorithms for services.

Ausbildung von Stephan Mennicke

  • 6 Jahre und 8 Monate, Aug. 2013 - März 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 Jahre und 5 Monate, 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 Jahre und 6 Monate, Okt. 2007 - März 2011

    Informatics/Computer Science

    University of Rostock

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Muttersprache

  • Französisch

    Grundlagen

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.

  • 22 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