Teaching Formal Methods

Sep 26, 2018

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.

Formal Methods Teaching Courses
Sebastian Krings
Sebastian Krings
Software Engineer

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

Publications

Experience Report on a Student-Organized AI Course
As curricula are mostly centered around the specializations of faculty members, students are often seen purely as consumers of …
PDF Project Project Slides
Increasing Student Self-Reliance and Engagement in Model-Checking Courses
Courses on formal methods focus on two aspects: teaching formalisms and exemplary applications as well as teaching techniques for …
PDF Project
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering
PDF Project
Inquiry- and Research-based Teaching in a Course on Model Checking
In this presentation, we discuss a recent publication on our course on model checking. The course has been shifted from a classical …
PDF Project Project Slides
Prototyping Games Using Formal Methods
Courses on formal methods are often based on examples and case studies, supposed to show students how to apply formal methods in …
PDF Project Project Slides
Experience Report on An Inquiry-Based Course on Model Checking
The development and improvement of model checkers for the validation of hard- and software is an ongoing research topic in computer …
PDF Cite Project Project

Events

Experience Report on a Student-Organized AI Course
Paper presentation.
Jul 11, 2022 4:00 PM — 4:30 PM Dublin, Ireland and virtual
Project Slides
Prototyping Games using Formal Methods
Paper presentation.
Dec 2, 2019 2:00 PM — 2:30 PM Bergen, Norway
Project
Inquiry- and Research-based Teaching in a Course on Model Checking
Paper presentation.
Dec 2, 2019 11:30 AM — 12:00 PM Bergen, Norway
Project