Open Universiteit

• Examinator voor:
  • Lineaire algebra en stochastiek
  • Logica, verzamelingen en relaties
  • Premaster Formele technieken 1
• Ik help verder ook bij:
  • AppLab
  • Inleiding informatica
  • Logica en informatica
  • Premaster AI: Logica
• Studentbegeleiding / afstudeerders:
  • Johan Pöll (MSc project) — Automata Learning and Bug Detection for QUIC
  • Olaf van der Kruk (MSc project) — Automata Learning for Zigbee

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
• Visualising Differences in Finite State Machines (vol)

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

• A lot of teaching assistance (see my CV).

• 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