Dr. Wan Fokkink was the leader of the SEN2 research group at CWI and is currently a full professor at the Vrije Universiteit Amsterdam, where he leads the Theoretical Computer Science group. His research areas are formal methods, system verification and distributed algorithms. He is actively involved in applying formal methods to verify distributed systems. He published numerous articles in peer-reviewed journals and conferences. Prof. Fokkink holds an MSc in Mathematics from the University of Amsterdam and a PhD at this same university for his research on formal methods.

Dr. Jaco van de Pol received his MSc and his PhD from the University of Utrecht for his research on modularity and termination of higher-order rewrite systems. He is actively involved in applying formal techniques, especially process algebra, rewrite systems, and abstract interpretation, to the verification of distributed systems, as is witnessed by his numerous articles in international journals and conferences.

The SENVA Team Leaders. Jaco van de Pol (left) and Hubert Garavel (right).