I am Joshua Moerman, a computer scientist. Currently, I am a post doctoral researcher at the RWTH Aachen in the MOVES group. I am working on probabilistic programs as a member of the FRAPPANT project.
Formerly, I was a PhD student 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 also include formal verification, PAC learning, coalgebraic methods, functional programming, black-box testing theory, and category theory.
Recent Publications (more)
(2020) Residual Nominal Automata - Joshua Moerman and Matteo Sammartino. CONCUR 2020. [ Abstract ]
(2020) Generating Functions for Probabilistic Programs - Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Winkler. arXiv. [ Abstract ]
(2020) Separation and Renaming in Nominal Sets - Joshua Moerman and Jurriaan Rot. CSL 2020. [ Abstract ]
(2019) A (co)algebraic theory of succinct automata - Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, and Alexandra Silva. JLAMP. [ Abstract ]
- Lehrstuhl für Informatik 2
- RWTH Aachen University
- Erweiterungsbau 1, 2nd Floor, Room 4210
- Ahornstraße 55
- 52074 Aachen
Telephone number (work)
- +49 241 80 21203
CV [ PDF ]
PhD Computer science 2015-2019, more info.
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.