- Paolo Baldan, University of Padova
- Massimo Bartoletti, University of Cagliari
- Benoit Baudry, IRISA Rennes
- Jörg Bauer, TU Munich
- Lorenzo Bettini, University of Torino
- Filippo Bonchi, CWI
- Marzia Buscemi, IMT-Lucca
- Michael Butler, University of Southampton
- William Cook, University of Texas at Austin
- Silvano Dal Zilio, LAAS-CNRS
- Mariangiola Dezani-Ciancaglini, University of Torino
- Hartmut Ehrig, TU Berlin
- Simon Gay, University of Glasgow
- Roberto Guanciale, IMT-Lucca
- Kohei Honda, Queen Mary University of London
- Joost Pieter Katoen, University of Aachen
- Raman Kazamiakhin, ITC-IRST
- Barbara Koenig, University of Duisburg-Essen
- Hristo Koshutanski, University of Malaga
- Roberto Lucchi, JRC Centre in Ispra
- Hernan Melgratti, IMT-Lucca
- Stephan Merz, INRIA Nancy
- Jose Meseguer, University of Illinois
- Catuscia Palamidessi, INRIA
- Marco Pistore, ITC-IRST
- Iman Poernomo, King’s College London
- Bernhard Reus, Sussex University
- M. Birna van Riemsdijk, TU Delft
- Markus Roggenbach, Swansea University
- Vladimiro Sassone, University of Southampton
- Helmut Seidl, TU Munich
- Daniele Strollo, IMT-Lucca
- Gabriele Taentzer, University of Marburg
- Michele Trainotti, ITC-IRST
- Antonio Vallecillo, University of Málaga
- Luca Vigano, University of Verona
- Nobuko Yoshida, Imperial College London
|
Associated Researchers 
