Teaching Formal Methods

Formal methods are tought through a variety of courses. How can modern forms of teaching, such as flipped classrooms or on-demand-teaching, be used to improve formal methods education?

This projects documents my efforts in course design and university teaching.

Sebastian Krings
Sebastian Krings

My research interests include formal methods and tools as well as software safety and security.