Stephan Mennicke

Stephan Mennicke

Student Assistent

Followers of Stephan Mennicke181 followers
location of Stephan MennickeDresden, Saxony, Germany

Connect with Stephan Mennicke to Send Message

Connect

Connect with Stephan Mennicke to Send Message

Connect
  • Timeline

  • About me

    Postdoctoral Researcher at Technische Universität Dresden

  • Education

    • Technische Universität Carolo-Wilhelmina zu Braunschweig

      2011 - 2013
      Master's Degree Computer Science Very Good
    • Universität Rostock

      2007 - 2011
      Bachelor of Science (B.Sc.) Informatics Good
    • Technische Universität Braunschweig

      2013 - 2020
      Doctor of Philosophy - PhD Computer Science
  • Experience

    • University of Rostock

      Aug 2008 - Jan 2010
      Student Assistent

      Implementation of algorithms for services in software prototypes.

    • GECKO mbH

      Feb 2010 - Apr 2010
      Student Intern

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

    • University of Rostock

      May 2010 - Sept 2010
      Student Assistent

      (Co-)Development of the Petri net API (PNAPI) as well as several other tools implementing algorithms operating on Petri nets, e.g., decomposing Petri nets.

    • TU Braunschweig

      Oct 2010 - Apr 2020

      I am looking into net related models and their aspects concerning distributed systems and their interaction. I am generally interested in formal methods and their applications.

      • Research Assistant

        Sept 2013 - Apr 2020
      • Research Assistant

        Sept 2011 - Aug 2013
      • Student Assistent

        Oct 2010 - Aug 2011
    • Technische Universität Dresden

      May 2020 - now
      Postdoctoral Researcher
  • Licenses & Certifications

    • Teach4TU Basisqualifizierung

      Dec 2014