I am a PhD-candidate at Utrecht University on the topic of "Type Theory for Education", with supervision from Johan Commelin, Paige Randall North and Jim Portegies. As a part of my PhD, I am one of the developers of Waterproof, an educational tool for teaching mathematics with a proof assistant. In a broad sense, I am interested in type theory, theorem provers, formalization of mathematics and applications of these in education.

If you are a student interested in doing a project involving Waterproof, proof assistants in education, formalization of mathematics (in particular graph theory), or usability of proof assistants, feel free to contact me.

Before this I worked as a teacher, software engineer and consultant at Quintor. I obtained my BSc and MSc Applied Mathematics at TU Delft.

• p.j.otteatuudotnl
• Mastodon
• LinkedIn

• TrustChain: A Sybil-resistant scalable blockchain (available 2017, published 2020), with M. de Vos and J. Pouwelse in Future Generation Computer Systems [PDF]
• Rapid rule-based machine translation between Dutch and Afrikaans (2011), with F. Tyers in Proceedings of the 15th Annual Conference of the European Association for Machine Translation [PDF]

• Tutte's theorem as an educational formalization project [PDF] [ArXiv]

• 2025: Waterproof: Demo of an educational tool built on a theorem prover at TU Delft Programming Languages Seminar [Slides]
• 2025: Mathematics without proof assistants will be bizarre at Axioma Symposium [Slides]
• 2025: Introduction to formalization with Tutte's theorem at Discrete Mathematics & Optimization Seminar at TU Delft [Slides]
• 2025: Tutte's theorem as an educational formalization project at IFS and DutchCATS [IFS slides] [DutchCATS slides]
• 2025: Waterproof demo: Teaching with a proof assistant at USO AI in Higher Education [Slides], [Demo code]
• 2023: AI & Formal verification: Why and how? at Tweakers Developers summit
• 2023: How AI will (not) change software development at Connect.frl and TEQnation
• 2022: Teaching in your software team at Devoxx Belgium
• 2019: "Security" in the JavaScript eocsystem at Devoxx Belgium
• 2018: Architecting with blockchain for dummies at Devoxx Belguim
• 2017-2018: Ethereum: Unboxing the Truffle Box for Angular at Connect.frl, TechDays NL (in English), J-Fall (in Dutch)

• At Utrecht University:
• 2025: Bewijzen in de Wiskunde at Utrecht University
• 2025: TA for Python & R at Utrecht University
• 2024: Bewijzen in de Wiskunde at Utrecht University
• 2022-2024: Supervised graduating students in ICT from various universities of applied sciences
• 2022-2024: Masterclasses Java and Frontend for young professionals at Quintor
• 2021: Co-Teacher minor Cloud Native Software Development at Utrecht University of Applied Sciences
• 2020: Minor Full-Stack Software Development at Rotterdam University of Applied Sciences
• 2019: Minor Blockchain at Rotterdam University of Applied Sciences
• At TU Delft:
• 2016: TA for Computer Networks
• 2014: TA for Numerical Methods for Civil Engineering
• 2014: TA for Calculus 2 for Mechanical Engineering
• 2013: Lecturing TA for Complex Analysis
• 2013: TA for Optimization
• 2013: TA for Summer School for high school students
• 2012-2013: TA for Mathematical Structures
• 2012-2013: TA for Calculus 1
• 2008-2009: TA for Science and Technology club at Mendelcollege

• Alex van Tilburg (MSc, UU) - Waterproof for Bewijzen in de Wiskunde (joint with Paige Randall North)
• As company mentor at Quintor:
• Kevin Goes (BSc, HU) - Projectkwaliteit Monitoring
• Alihan Kaya (BSc, HU) - Hardware Beheersysteem met PWA
• Fayssal Lantema (BSc, HU) - De transitie van Java 11 naar Java 17
• Saïd Shirre (BSc, HU) - Het vereenvoudigen van het selectieproces: Een generieke methode voor consultants bij het kiezen van de best passende dashboard tool of library voor klantprojecten
• David Hiu Tung Tai (BSc, HR) - Werkplekbezetting monitoren op kantoor
• Kien Vuong (BSc, HR) - IoT via LoRa
• And many others

• 2021: Created Guide me, a puzzle game where the goal is to discover the rules.
• 2016: MSc thesis: Sybil-resistant trust mechanisms in distributed systems. Netflow, the main contribution, has been included in the 4th edition of Distributed Systems (M. van Steen and A.S. Tanenbaum)
• 2015: Won first place at CQM's De Nacht van Eindhoven
• 2014: BSc thesis: Counting matchings in cubic graphs
• 2013-2015: Contributed to (now defunct) Syncany. A cloud storage application with client-side encryption.
• 2013-now: Participated in regional ACM competitions, peaking with NWERC in 2014 and 2016. Participation in recent years as spectator.
• 2011: Grand Prize Winner in the Google Code-in
• 2006-2016: Involved in Robocup Junior. First as participant, later as referee.