About me

I am Joshua Moerman, PhD student at the Radboud University in Nijmegen (the Netherlands) at the computer science department iCIS. I am currently doing research in the field active automata learning and also a bit of PAC learning. My interests also include algorithms, functional programming, homotopy theory, coalgebra and category theory. Some of the software I write during my research can be found on Gitlab.


  • (2015) Applying Automata Learning in Embedded Control Software - Wouter Smeenk, Joshua Moerman, Frits Vaandrager and David N. Jansen. Presented at ICFEM 2015, Paris. [ Abstract ]


  • 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.



You can contact me via moerman at science dot ru dot nl or via one of these: