Consortium


Institute Team Members    
ENS Cachan
LSV
UMR 8643
ENS Cachan and CNRS
Laurent Fribourg
(DR)  
   
Claudine Picaronny
(MdC)  
   
Simon Pinot
(PhD student)  
EPITA
LRDE
Sylvain Peyronnet
(MdC)  
INRIA Futurs
Projet Comète
Romain Beauxis (PhD student)  
   
Kostas Chatzikokolakis
(PhD student)  
   
Catuscia Palamidessi
(DR)  
   
Peng Wu
(Postdoc)  
 
Projet SECSI
(at LSV)
Jean Goubault-Larrecq
(Prof.) Leader
Queen Mary University
of London
Dept. of Computer Science
Q.M.U. London
Pasquale Malacaria
(Lecturer)  
Université Paris 7
Denis Diderot
Equipe de logique
U. Paris 7
Richard Lassaigne (MdC)  
 
PPS
UMR 7126
U. Paris 7 and CNRS
Vincent Danos
(DR)  
   
Russell Harmer
(MdC)  
Università di Verona
Dipartimento di Informatica
U. Verona
Augusto Parma
(PhD student)  
   
Roberto Segala
(Prof.)  
    Andrea Turrini (PhD student)  
University of Oxford
Computing Laboratory
U. Oxford
Marta Kwiatkowska
(Prof.)  
   
Gethin Norman
(Research Officer)  
   
Dave Parker
(Research Officer)