Martin Bitterlich

Researcher
Institute for Software & Systems Engineering
Phone: +49 821 598 2229
Email:
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
Softwaretechnik winter semester 2021/22 Vorlesung
Seminar zu Software- und Systems Engineering (Bachelor) winter semester 2021/22 Seminar

Search