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. Other bits and pieces of software can be found on Github.

Recent Papers (more)

  • (2017) n-Complete Test Suites for IOCO - Petra van den Bos, Ramon Janssen and Joshua Moerman. ICTSS 2017. [ Abstract ]

  • (2017) Learning Product Automata - Joshua Moerman. LearnAut 2017 - Poster presentation. [ Abstract ]

  • (2017) Learning Nominal Automata - Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin and MichaƂ Szynwelski. POPL 2017. [ Abstract ]

  • (2016) Minimal Separating Sequences for All Pairs of States - Rick Smetsers, Joshua Moerman and David N. Jansen. LATA 2016. [ Abstract ]

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.

Education

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

Me!

CV and Contact

Grab my CV here. Contact me via moerman at science dot ru dot nl or via one of these: [ Linkedin ] [ Github ] [ Twitter ] [ Vimeo ]