Short Bio

I am Joshua Moerman, a computer scientist. Currently, I am assistant professor at the Open University of the Netherlands. Here is my OU page.

Before, I did a PostDoc 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)

  • Journal Paper TCS Fast Computations on Ordered Nominal Sets (extended version)David Venhoek, Joshua Moerman and Jurriaan Rot More ]
  • Journal Paper LMCS Residuality and Learning for Nondeterministic Nominal AutomataJoshua Moerman and Matteo Sammartino More ]
  • Conference Paper VMCAI 2022 Gradient-Descent for Randomized Controllers under Partial ObservabilityLinus Heck, Jip Spel, Sebastian Junges, Joshua Moerman and Joost-Pieter Katoen More ]
  • Conference Paper LICS 2021 Orbit-Finite-Dimensional Vector Spaces and Weighted Register AutomataMikołaj Bojańczyk, Bartek Klin and Joshua Moerman More ]

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

My CV (pdf)

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

Linkedin ] [ Twitter ] [ Vimeo ] [ Gitlab (Radboud) ] [ Gitlab (RWTH) ] [ Github ]