Martin Bitterlich

Wissenschaftlicher Mitarbeiter
Institut für Software & Systems Engineering
Telefon: +49 821 598 2229
E-Mail: martin.bitterlich@informatik.uni-augsburg.de
Raum: 3014 (N)
Adresse: Universitätsstraße 6a, 86159 Augsburg

Lebenslauf

Seit 2021     Wissenschaftlicher Mitarbeiter am Lehrstuhl Softwaretechnik an der Universität Augsburg
2017-2021    Master-Studium Informatik an der Universität Augsburg
2014-2018

   Bachelor-Studium Informatik an der Universität Augsburg

 

Forschungsschwerpunkte

Folgende Forschungsthemen stehen für mich im Vordergrund:

  • Codegenerierung aus formalen Spezifikationen

  • Anwenden von Formalen Methoden zur Entwicklung von verifizierten Softwaresystemen

  • Modulare Spezifikation nebenläufiger Systeme

 

In folgenden Bereichen und Projekten bin ich beteiligt:

Lehrveranstaltungen

(Angewandte Filter: Semester: aktuelles | Dozenten: Martin Bitterlich | Vorlesungsarten: Vorlesung, Vorlesung + Übung, Seminar)
Name Semester Typ
Keine Vorlesungen vorhanden.

Suche