Short Bio
I am Joshua Moerman, a computer scientist. Currently, I am assistant professor at the Open University of the Netherlands.
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
-
1 May 2021 I start 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.
-
19 February 2021 I am in the PC of ICGI 2021, the international conference on grammatical inference. This will be held on 23-27 August 2021.
-
12 January 2021 We got gold medals at the RERS Challenge 2021. On this page you can read more.
-
18 December 2020 Paper on generating functions with Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler and myself has received the best paper award.
Recent Papers (full list)
- arXiv Residuality and Learning for Nondeterministic Register Automata — [ More ]
- arXiv (to appear at LICS'21) Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata — [ More ]
- Conference Paper LOPSTR 2020 Generating Functions for Probabilistic Programs — [ More ]
- Conference Paper CONCUR 2020 Residual Nominal Automata — [ More ]
Please also see the list of talks and my research blog.
Address
- Lehrstuhl für Informatik 2
- RWTH Aachen University
- Erweiterungsbau 1, 2nd Floor, Room 4210
- Ahornstraße 55
- 52074 Aachen
- Germany
Telephone number (work)
- +49 241 80 21203
My CV (pdf)
-
PhD Computer science 2015-2019, more info about my thesis.
-
Master Mathematics (algebra and topology) 2013 - 2015, Radboud University. My master thesis was on Rational Homotopy Theory, supervised by Ieke Moerdijk.
-
Bachelor Computer Science 2009-2013, Radboud University.
-
Bachelor Mathematics 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.
Other links
[ Linkedin ] [ Twitter ] [ Vimeo ] [ Gitlab (Radboud) ] [ Gitlab (RWTH) ] [ Github ]