Name Specialism
prof.dr. Frits Vaandrager active learning of extended finite state machines, (applications of) computer aided verification Jan Tretmans model based testing
drs. Harco Kuppens scientific programmer, Tomte
Msc. Michele Volpato PhD student, validity queries and test coverage

Former colleagues

Name Specialism
dr. Fides Aarts active learning of automata
dr. Faranak Heidarian Dekhordi abstraction refinement
Msc.  Wouter Smeenk case study at OcĂ©-Technologies B.V.
dr. Sicco Verwer learning theory, grammatical inference, complexity theory, and information theory