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. |