Joshua Moerman

About me

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)

  • Conference Paper CONCUR 2020 Residual Nominal Automata — Joshua Moerman and Matteo Sammartino [ More ]
  • arXiv Generating Functions for Probabilistic Programs — Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Winkler [ More ]
  • Conference Paper CSL 2020 Separation and Renaming in Nominal Sets — Joshua Moerman and Jurriaan Rot [ More ]
  • Journal Paper JLAMP A (co)algebraic theory of succinct automata — Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, and Alexandra Silva [ More ]

I list some of my talks here. I gave an introductionary talk on automata learning for some friends of mine, it can be found on Youtube. Some little results may be found on 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

Me!

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.

[ Linkedin ] [ Twitter ] [ Vimeo ] [ Gitlab (Radboud) ] [ Github ]