Harco Kuppens

Scientific Programmer
Software Science (SWS) section
Institute for Computing and Information Sciences (ICIS)
Radboud University
Mercator 1 building
Room m1.00.09
Toernooiveld 212
6525 EC Nijmegen
The Netherlands
+31 24 3652718
h.kuppens @ cs.ru.nl
Tomte - a tool that fully automatically constructs abstractions for automata learning
Automata Wiki - a rich set of shared benchmarks of state machines that model real protocols and embedded systems.