Name: Anton Wijs.

Address: INRIA Rhône Alpes / VASY
655, Avenue de l'Europe
F-38330 Montbonnot St. Martin
France

Postal address: INRIA Rhône Alpes / VASY
Inovallée
655, Avenue de l'Europe
Montbonnot
38334 Saint Ismier Cedex
France

Function: Post-doc Researcher

E-mail: Anton.Wijs <apestaartje> inria.fr
Phone: +(33) 04 7661 5490

Research Interests: Model Checking,
(Directed) Explicit State Space Traversal and Generation,
Distributed Computing, (Timed) Process Algebra