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.

Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.

Related