Papers and talks
Also have a look at DBLP and Google Scholar.
Papers

(2019) Separation and Renaming in Nominal Sets  Joshua Moerman and Jurriaan Rot. arXiv. [ Abstract ]

(2019) A (co)algebraic theory of succinct automata  Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, and Alexandra Silva. JLAMP. [ Abstract ]

(2018) Fast Computations on Ordered Nominal Sets  David Venhoek, Joshua Moerman and Jurriaan Rot. ICTAC 2018. [ Abstract ]

(2018) Learning Product Automata  Joshua Moerman. ICGI 2018. [ Abstract ]

(2017) nComplete 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. [ Abstract ]

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

(2016) Complementing Model Learning with MutationBased Fuzzing  Rick Smetsers, Joshua Moerman, Mark Janssen and Sicco Verwer. arXiv. [ Abstract ]

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

(2015) Applying Automata Learning in Embedded Control Software  Wouter Smeenk, Joshua Moerman, Frits Vaandrager and David N. Jansen. ICFEM 2015. [ Abstract ]
Talks
 2019 June, MFPS. Separation and Renaming in Nominal Sets (contributed talk)
 2018 November, IPA Dall Days. Learning Register Automata
 2018 June, Dutch Model Checking Day. Minimal Separating Sequences for All Pairs of States in O(m log n)
 2017 December, UnRAVel Seminar. Ordered Nominal Sets and Automata
 2017 January, S^3 (software science seminar). Learning Nominal Automata
 2016 November, #RU College. Leren om te verifiëren [ Youtube ]
 2016 November, IPA Fall Days. Learning to verify
 2016 May, Brouwer Seminar. Succinct Nominal automata?
 2016 April, UCL Yak. Automata over the random graph
 2015 November, ICFEM. Applying Automata Learning in Embedded Control Software
 2015 October, NL Testing day. Applying Automata Learning to Embedded Control Software
 2015 June, MBSD seminar. The zoo of FSMbased test methods
In addition to talks related to my research, I’ve also given some lectures for bachelor or master courses. See my CV for my teaching experience.
If you would like to have slides from any of my talks, feel free to send me a message. (I will try to gradually add them to my website.)
Notes
I sometimes write some notes for friends and colleagues. These are typically hard to read without context, will not include the necessary references and will include errors. But maybe they are still useful for some people…

PP is not a monad?! [ PDF ] Update: This is settled once and for all by Bartek Klin and Julian Salamanca, they show that there is no monad structure at all on the functor PP (where P is covariant). Meven Bertrand showed a good way of achieving a double powerset by considering upsets of downsets in a poset. This is a nice way to model alternating automata, for example.

See also my Research Blog.
Theses

My master thesis was on Rational Homotopy Theory, supervised by Ieke Moerdijk. Rational homotopy theory is concerned with algebraic invariants of topological spaces. Invariants such as homotopy groups are notoriously hard to compute, but very useful in mathematics. To simplify things, we can rationalise them (that is, using rational numbers instead of integers). This way, the invariants are easier to compute. [ PDF ] [ Github ]

My bachelor thesis was on the DoldKan Correspondence, supervised by Moritz Groth. The DoldKan correspondence is an equivalence between categories: on one hand there is the topological category of simplicial abelian groups and on the other hand there is the more algebraic category of chain complexes. This is a key result in algebraic topology, especially homology. [ PDF ] [ Presentation ] [ Github ]