Martin Bitterlich
Researcher
Institute for Software & Systems Engineering
| Phone: | +49 821 598 2229 |
| Email: | martin.bitterlich@informatik.uni-augsburg.de |
| Room: | 3014 (N) |
| Address: | Universitätsstraße 6a, 86159 Augsburg |
Curriculum/Vitae
| Since 2021 | Researcher at the Chair of Software Engineering at University of Augsburg |
| 2017-2021 | Master in Informatik at University of Augsburg |
| 2014-2018 |
Bachelor in Informatik at University of Augsburg |
Research foci
- Code generation from formal specifications
-
Application of formal methods to the construction of verified software
- Modular specification of concurrent systems
I am involved in the following research areas and projects:
Courses / teaching
(applied filters: semester: current | lecturers: Martin Bitterlich | course types: Vorlesung, Vorlesung + Übung, Seminar)
| name | semester | type |
|---|---|---|
| No courses available. |