February 24, 2026
Title: Personal introduction & my work on transforming proof assistants into educational tools (MI talk)
Speaker: Jelle Wemmenhove
Before I joined the MI as a teacher last November, I completed a PhD at TU Eindhoven where I worked on transforming the Rocq proof assistant into a educational tool called Waterproof. Waterproof is designed to help first-year students learn how to write mathematical proofs and is currently being used to support the teaching of the Analysis 1 course at TU Eindhoven. After a brief personal introduction, I will discuss the Waterproof software and its design principles, how the software is currently being used at TU Eindhoven, how the system was evaluated with applied research from Human-Computer Interaction, specifically Service Design, and mathematical education research. I will close with directions for future improvements, some of which work has already started on together with PhD candidate Pim Otte.