Dr. Stefan Bodenmüller
Wissenschaftlicher Mitarbeiter
Institut für Software & Systems Engineering
| Telefon: | +49 821 598 2183 |
| E-Mail: | stefan.bodenmueller@informatik.uni-augsburginformatik.uni-augsburg.de () |
| Raum: | 3014 (N) |
| Adresse: | Universit?tsstra?e 6a, 86159 Augsburg |
Lebenslauf
| 2022: | Promotion zum Thema "Caching,?Crashing & Concurrency - Verification under Adverse Conditions" |
| 2016 - heute: | Wissenschaftlicher Mitarbeiter am Lehrstuhl Softwaretechnik an der Universit?t Augsburg |
| 2014 - 2016: | Master-Studium Informatik an der Universit?t Augsburg |
| 2011 - 2014: | Bachelor-Studium in Wirtschaftsinformatik an der Unviersit?t Augsburg |
?
Forschungsschwerpunkte
Folgende Forschungsthemen stehen für mich im Vordergrund:
- Anwenden von Formalen Methoden zur Entwicklung von verifizierten Softwaresystemen
- Korrekte Codegenerierung aus abstrakten Spezifikationen
- Korrektheit nebenl?ufiger Algorithmen
- Interaktives und automatisches Theorembeweisen
?
In folgenden Bereichen und?Projekten bin ich beteiligt:
Lehrveranstaltungen
?
- Formale Methoden im Software Engineering
- Softwaretechnik
- Softwareprojekt
- Seminar zu Software- und Systems Engineering (Master)
- Seminar zu Software- und Systems Engineering (Bachelor)
Ver?ffentlichungen
2024
|
2023
|
2022
|
2021
|
2020
|
2018
|
2017
Institut für Software & Systems Engineering
Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakult?t für Angewandte Informatik an der Universit?t Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre erm?glicht es die weitere Entwicklung des relevanten Kursangebots von Fakult?t und Universit?t.