Luko van der Maas
Ph.D. Student
Radboud University
luko.vandermaas (at) ru.nl
About Me
I am a Ph.D. student at Radboud University being supervised by Sebastian Junges.
Research Interests
Runtime monitoring
Model checking
Automata learning
Proof assistants
Applied Category theory
News
[Jul. 2025]
Our paper about Learning correct monitors was accepted to ATVA 2025 in Bengalore.
[May. 2025]
Our paper about Inductive predicates in Higher-order separation logic was accepted to ITP 2025.
Publications
ATVA
Learning Verified Monitors for Hidden Markov Models
Luko van der Maas
, Sebastian Junges
International Symposium on Automated Technology for Verification and Analysis
(ATVA)
, 2025.
PDF
Code
BibTex
Slides
ITP
Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic
Robbert Krebbers,
Luko van der Maas
, Enrico Tassi
International Conference on Interactive Theorem Proving
(ITP)
, 2025.
PDF
Code
BibTex
Services
Resarch Software Projects
Contributer to the Storm model checker
Teaching
Software Verification 2026-
Processors 2025
Type Theory and Coq 2025
Thesis Supervision
Jord Cluitmans, Learning Predictive Monitors for Autonomous Vehicles Using Binary Decision Trees (Bsc)