Teaching

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
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
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
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
Teaching Formal Methods
Improving formal methods education.