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.
My interests include software analysis, formal methods and offensive security.