Martin Bitterlich

Institute for Software & Systems Engineering
Phone: +49 821 598 2229
Room: 3014 (N)
Address: Universitätsstraße 6a, 86159 Augsburg


Since 2021     Researcher at the Chair of Software Engineering at University of Augsburg
2017-2021    Master in Informatik at University of Augsburg

   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
Softwaretechnik winter semester 2021/22 Vorlesung
Seminar zu Software- und Systems Engineering (Bachelor) winter semester 2021/22 Seminar