Dr. Stefan Bodenmüller

Angestellt, Wissenschaftlicher Mitarbeiter (Postdoktorand), Lehrstuhl für Softwaretechnik Universität Augsburg

Bis 2022, Promotion Informatik, Universität Augsburg

Augsburg, Deutschland

Fähigkeiten und Kenntnisse

Software Engineering
Formale Methoden
UML Modelling
Object Oriented Analysis Design (OO/AD)
Scala
Java
C

Werdegang

Berufserfahrung von Stefan Bodenmüller

  • Bis heute 1 Jahr und 7 Monate, seit Dez. 2022

    Wissenschaftlicher Mitarbeiter (Postdoktorand)

    Lehrstuhl für Softwaretechnik Universität Augsburg

    Formale Methoden im Software Engineering, Verifikation von hierarchischen System

  • 6 Jahre, Dez. 2016 - Nov. 2022

    Wissenschaftlicher Mitarbeiter

    Lehrstuhl für Softwaretechnik Universität Augsburg

    Formale Methoden im Software Engineering, Verifikation von hierarchischen System

  • 2 Jahre und 1 Monat, Okt. 2014 - Okt. 2016

    Wissenschaftliche Hilfskraft

    Lehrstuhl für Softwaretechnik Universität Augsburg

  • 5 Jahre und 3 Monate, Aug. 2011 - Okt. 2016

    Studienbegleitende Tätigkeit

    Sonepar Deutschland/Region Süd GmbH

Ausbildung von Stefan Bodenmüller

  • 5 Jahre und 8 Monate, Dez. 2016 - Juli 2022

    Promotion Informatik

    Universität Augsburg

    Formale Methoden im Software Engineering

  • 2 Jahre und 2 Monate, Okt. 2014 - Nov. 2016

    Informatik

    Universität Augsburg

    Schwerpunkte: Formale Methoden, Software Engineering, Eingebette Systeme

  • 3 Jahre, Okt. 2011 - Sep. 2014

    Wirtschaftsinformatik

    Universität Augsburg

    Schwerpunkt: Informatik

  • 2003 - 2011

    Abitur

    Gymnasium Wertingen

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

Interessen

Badminton
Bouldern
E-Gitarre
Motorsport
Eishockey

21 Mio. XING Mitglieder, von A bis Z