Teaching

Open Universiteit

• Examinator voor:
  • Lineaire algebra en stochastiek
  • Logica, verzamelingen en relaties
• Ik help verder ook bij:
  • Formele talen en automaten
  • AppLab
  • Logica en informatica
• Studentbegeleiding / afstudeerders:
  • (WIP) Roald Lazet – Symbolic automata learning for Unicode transformations
  • (WIP) Milco Kats – Decomposig DFAs
  • (WIP) Johan Pöll – Partition refinement for graphs and hyper graphs
  • (2025 BSc) Marijn Verheul en Richard Koopmans – Visualising Differences in Finite State Machines
  • (2025 MSc) Olaf van der Kruk – Automata Learning for Behavioural Mapping of Zigbee Devices
• I heb in het verleden geholpen bij deze cursussen:
  • Inleiding informatica
  • IB3602/IB3612 Premaster AI: Logica (uit aanbod)
  • IB0003/IB0013 Premaster Formele technieken 1 (uit aanbod)

Thesis topics

Hieronder staat een lijst van mogelijke afstudeeronderwerpen (zowel bachelor als master niveau). Als je interesse hebt in een van deze onderwerpen, twijfel niet om me een mailtje te sturen!

• Automata Learning (vol)
• FSM-based Conformance Testing
• Graph Isomorphism and Partition Refinement (vol)
• Visualising Differences in Finite State Machines

RWTH Aachen University

• 2019: Crash course on category theory. This was a course aimed at PhD students and PostDocs.

• Student supervision:

  • Dario Veltri (BSc project) — Learning Probabilistic Automata with SMT Solving
  • Du Hyun Cho (BSc project) — Duality of Moore Machines: Reverse models for Moore machines
  • Linus Heck (BSc project) — Gradient Descent on Parametric Markov Chains
  • Thomas Vogt (BSc project) — Learning RFSA in Reverse
  • Dan-Tuong Le (BSc project) — Quantitative Analysis of Counterexample Generation for Automata Learning

Radboud University

• Helped as a teaching assistant.

• Student co-supervision:

  • Gijs van Cuijk (BSc project) — A Complete Version of the ADS Method for Conformance Testing
  • Jeremy Guijt (BSc project) — Checking Model Learning Hypotheses with Symbolic Execution
  • Joep Veldhoven (BSc project) — Automata extended to nominal sets
  • David Venhoek (MSc project) — Nominal sets and automata: Representation theory and computations
  • Gerco van Heerdt (MSc project) — An Abstract Automata Learning Framework
  • Alexander Fedotov (Research internship) — Hybrid UIOv method