Previous | 
Home
SECSI is a project common to Inria and the Laboratoire Spécification et Vérification (LSV), itself a common lab between CNRS (UMR 8643) and the École Normale Supérieure (ENS) de Cachan.
Creation of the Project-Team: November 15, 2002 , Updated into Team: January 01, 2013Section: Members
Research Scientists
Stéphanie Delaune [Junior Researcher, HdR]Graham Steel [Junior Researcher, Until Spring 2012, now at EPI Prosecco, Paris, HdR]
Faculty Members
David Baelde [Maître de Conférences, ENS Cachan, since Sep. 2012]Hubert Comon-Lundh [Professor, ENS Cachan, HdR]
Jean Goubault-Larrecq [Team Leader, Professor, ENS Cachan, HdR]
Engineers
Romain Bardou [ITI engineer, Sep. 2011-June 2012, now at EPI Prosecco, Paris]Nasr-Eddine Yousfi [ITI engineer, Dec. 2011-Nov. 2012]
PhD Students
Hedi Benzina [Digiteo grant, Nov. 2009-Dec. 2012]Vincent Cheval [ENS Cachan student, Oct. 2009-Dec. 2012]
Rémy Chrétien [ANR JCJC VIP grant, Started Oct. 2012]
Guillaume Scerri [ERC grant ProSecure (holder: Véronique Cortier, CASSIS), Started Oct. 2011]
Robert Künnemann [Inria grant, Until Nov. 2012, now at EPI Prosecco, Paris]
Administrative Assistants
Valérie Hoareau [Nov. 2011-Jan. 2012]Céline Halter [Feb. 2012-May 2012]
Claire Le Thomas [May 2012-Aug. 2012]
Maeva Jeannot [Sep. 2012-Nov. 2012]
Thida Iem [Since Dec. 2012]