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)