Short Bio
I am Joshua Moerman, assistant professor in computer science at the Open University of the Netherlands.
My research interests include
- Formal verification (model checking, logic),
- Grammatical inference (PAC learning, automata learning),
- Coalgebraic methods,
- Functional programming,
- Black-box testing theory, and
- Category theory.
News
-
25 November 2025 ICGI’26 call for papers is out! Please consider sending your best grammatical inference paper. 🙂
-
13 January 2025 I am member of the RP’25 program committee.
-
15 May 2024 The paper on weighted register automata is now published at TheoretiCS and my PhD student and I got a paper on compositional automata learning accepted at LearnAut!
-
2 February 2024 Our workshop proposal for LearnAut 2024 has been accepted. See you in Tallinn on the 7th of July!
-
29 July 2023 The PhD position on automata learning is filled!
-
16 Febraury 2023 I will be on parental leave for (at least) one month.
-
2 February 2022 LearnAut will be held at ICALP 2022 on July 4th, 2022. Make sure to check the call for papers.
-
29 November 2021 The Open Universiteit offers a new master: AI Master. I am involved in the logic course of the premaster.
Recent Papers (full list)
- Preprint / Presentation LearnAut 2024 Output-decomposed Learning of Mealy Machines — [ More ]
- Journal Paper TheoretiCS Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata — [ More ]
- Conference Paper Frits'60 State Identification and Verification with Satisfaction — [ More ]
- Journal Paper LMCS Residuality and Learning for Nondeterministic Nominal Automata — [ More ]
- Conference Paper VMCAI 2022 Gradient-Descent for Randomized Controllers under Partial Observability — [ More ]
My CV (pdf)
I am an 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.
Before that, I studied mathematics and computer science at the Radboud University. I obtained my master degree in mathematics in 2015.
During my studies, I was also employed as a software developer at Rodo, creating iOS apps. Also self-employed, see my iOS apps.
Postal Address (work)
You can find my email address in the footer of this website.
- Joshua Moerman
- Open Universiteit
- Faculteit Bètawetenschappen (Informatica)
- Postbus 2960
- 6401 DL, Heerlen
- The Netherlands
Other links
[ Github ] [ Gitlab (OU) ] [ Gitlab (RWTH) ] [ Gitlab (Radboud) ] [ Personal git server ] [ Mastodon ] [ Linkedin ] [ Vimeo ]