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
Software Engineer

My interests include software analysis, formal methods and offensive security.