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
http://www.cs.ru.nl/H.Kuppens/
Interests:
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.