Previous Up Next

2  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 Birmingham
School of Computer Science,
U. Birmingham
Marta Kwiatkowska
(Prof.)  
   
Gethin Norman
(Postdoc)  
   
Dave Parker
(Postdoc)  


Previous Up Next