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.