User:Joshua Moerman

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. My PhD topic is on nominal automata and black box testing in the context of active automata learning. The Radboud University is also where I finished my bachelors (both maths and compsci) and my master (maths).

My research interests include automata theory, formal verification, PAC learning, coalgebraic methods, functional programming, black-box testing theory, and category theory.

Homepage: https://joshuamoerman.nl

Current affiliation: RWTH Aachen

Work address: Lehrstuhl für Informatik 2 RWTH Aachen University Erweiterungsbau 1, 2nd Floor, Room 4210 Ahornstraße 55 52074 Aachen Germany