Inquiry- and Research-based Teaching in a Course on Model Checking

Abstract

In this presentation, we discuss a recent publication on our course on model checking. The course has been shifted from a classical lecture-based format to inquiry and research-based teaching. In the article to be presented, we documented course development, presented some didactic methods used and evaluated the course based on peer review and student feedback. Furthermore, we tried to assert student engagement empirically.

Date
Dec 2, 2019 11:30 AM — 12:00 PM
Location
Bergen, Norway
Sebastian Krings
Sebastian Krings
Software Engineer

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