Joshua Moerman

Short Bio

I am Joshua Moerman, assistant professor in computer science at the Open University of the Netherlands. Here is my OU page and our CS department page.

Previously, I held a postdoc position at the RWTH Aachen in the MOVES group, where I was working on probabilistic programs as a member of the FRAPPANT project.

I received my PhD at the Radboud University in Nijmegen at the Software Science department. Under supervision of Frits Vaandrager, Bas Terwijn, and Alexandra Silva I worked on nominal automata and black box testing in the context of active automata learning.

My research interests include formal verification, PAC learning, coalgebraic methods, functional programming, black-box testing theory, and category theory.

Recent Papers (full list)

• 2024 Preprint / Presentation LearnAut 2024 Output-decomposed Learning of Mealy Machines — Rick Koenders and Joshua Moerman [ More ]
• 2024 Journal Paper TheoretiCS Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata — Mikołaj Bojańczyk, Joanna Fijalkow, Bartek Klin and Joshua Moerman [ More ]
• 2022 Conference Paper Frits'60 State Identification and Verification with Satisfaction — Joshua Moerman and Thorsten Wißmann [ More ]
• 2022 Journal Paper LMCS Residuality and Learning for Nondeterministic Nominal Automata — Joshua Moerman and Matteo Sammartino [ More ]

Please also see the list of talks and my research blog.

My CV (pdf)

• PhD Computer science 2015-2019. My thesis “Nominal Techniques and Black Box Testing for Automata Learning” was supervised by Frits Vaandrager, Alexandra Silva and Bas Terwijn.

• Master Mathematics (algebra and topology) 2013-2015, Radboud University. My MSc thesis on Rational Homotopy Theory was supervised by Ieke Moerdijk.

• Bachelor Mathematics 2009-2013, Radboud University. My BSc thesis on The Dold Kan Correspondence was supervised by Moritz Groth.

• Bachelor Computer Science 2009-2013, Radboud University.

During my studies, I was employed at the software company Rodo, creating iOS apps. I was also self-employed, see my iOS apps.

Postal Address (work)

• Joshua Moerman
• Open Universiteit
• Faculteit Bètawetenschappen (Informatica)
• Postbus 2960
• 6401 DL, Heerlen
• The Netherlands