Joshua Moerman

Joshua Moerman is an Assistant Professor in Computer Science at the Open University of the Netherlands, affiliated with the Faculty of Beta Sciences. He holds a PhD from Radboud University (Nijmegen) under supervisors Frits Vaandrager, Bas Terwijn, and Alexandra Silva, focusing on nominal techniques and black-box testing for automata learning. His research spans formal verification, PAC learning, coalgebraic methods, and category theory.

• Education: PhD in Computer Science (2015-2019), MSc Mathematics (Radboud University, 2013-2015), BSc Double Major in Mathematics and Computer Science (Radboud University, 2009-2013).

His research interests emphasize automata learning, particularly for nondeterministic systems, and applications in formal verification. Recent work includes contributions to weighted register automata and compositional learning techniques. He co-organized the LearnAut 2024 workshop and serves on the RP’25 program committee. His PhD student collaborated on automata learning papers, and he teaches logic in the AI master’s premaster program at the Open University.