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