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.
News
-
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.
-
13 October 2021 Paper on gradient descent for a synthesis problem has been accepted at VMCAI. This paper is based on this blog post.
-
27 September 2021 I am part of the ICGI steering committee.
-
1 May 2021 I started at the Open University as assistant professor.
-
27 April 2021 Our paper on weighted register automata has been selected as a distinguished paper at LICS.
-
14 April 2021 I gave a talk on weighted register automata at OWLS.
-
1 April 2021 Paper on weighted register automata with Mikołaj Bojańczyk, Bartek Klin and myself is accepted at LICS 2021.
Recent Papers (full list)
- Journal Paper TCS Fast Computations on Ordered Nominal Sets (extended version) — [ 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 ]
- Conference Paper LICS 2021 Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata — [ 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
Other links
[ Linkedin ] [ Twitter ] [ Vimeo ] [ Gitlab (Radboud) ] [ Gitlab (RWTH) ] [ Github ]