Welcome! I am a Postdoctoral Researcher in the Institute for Computing and Information Sciences at Radboud University, where I work with Jurriaan Rot and Frits Vaandrager on automata learning for system verification.

I completed my PhD on Automata Learning for Lightweight Formal Methods at University College London, supervised by Alexandra Silva and Peter O’Hearn. I was previously a Research Assistant in UCL’s Programming Principles, Logic, and Verification group and an undergraduate student in Mathematical Computation.

My research spans automata theory, grammatical inference, and formal verification. I focus on applications of automata learning to fast-moving systems, usually through lightweight formal methods.

Recent News

September 2026

I started as a Postdoctoral Researcher at Radboud University, working with Jurriaan Rot and Frits Vaandrager on automata learning for system verification!

July 6, 2026

I defended my PhD thesis, Automata Learning for Lightweight Formal Methods!

April 17, 2026

Our paper on SMT-Based Active Learning of Weighted Automata has been accepted at CAV 2026!

March 5, 2026

Our paper on Weighted NetKAT: A Programming Language for Quantitative Network Verification has been accepted at PLDI 2026!

December 2025

I am giving a talk on Automata Learning for Computer Networks at LASIGE!

August 2025

I’m participating in this year’s Marktoberdorf Summer School.

April 2025

I’m visiting Jurriaan Rot at Radboud University!

March 2025

I am taking part in the Quantitative Reasoning workshop at Bellairs Research Institute.

Our paper on Active Learning of Symbolic NetKAT Automata has been accepted at PLDI 2025!

April 2024

I am serving in the program committee for LearnAut 2024.

October 2023

I’m starting my PhD in Computer Science supervised by Alexandra Silva and Peter O’Hearn!

September 2023

I have graduated from UCL with a BSc (Hons) in Mathematical Computation.

August 2023

Our paper on Conflict-Aware Active Automata Learning has been accepted at GandALF 2023!

July 2023

I’m interning at Galois with Mike Dodds working on verification of network stacks!

June 2023

I’m visiting Martin Leucker at the University of Lübeck!

August 2022

I’m participating in this year’s CMMRS at the Max Planck Institute.

June 2022

I’m supervising Raquel Silva on her UCL CS Summer Internship.