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. The team was created in 2001, and became an INRIA projet in December, 2002.
Section: Members
Research Scientist
Stéphanie Delaune [ CR CNRS ]Steve Kremer [ CR INRIA ]
Graham Steel [ CR INRIA ]
Faculty Member
Hubert Comon-Lundh [ Professor ENS Cachan, on sabbatical at AIST, Tokyo, Japan until Aug. 2009, HdR ]Jean Goubault-Larrecq [ Team Leader, Professor, ENS Cachan, HdR ]
PhD Student
Mathilde Arnaud [ ANR grant project AVOTÉ, Started Oct. 2008 ]Hedi Benzina [ Digiteo grant, Started Nov. 2009 ]
Rémi Bonnet [ ENS Cachan grant, Started Oct. 2009 ]
Sergiu Bursuc [ INRIA grant, until Oct. 2009, PhD defended on Dec. 1 ]
Jean-Loup Carré [ CIFRE grant between EADS and ENS Cachan, started September 2006, officially Sep. 2007 ]
Philippe Chaput [ INRIA grant, started Oct. 2009 ]
Vincent Cheval [ ENS Cachan student, Started Oct. 2009 ]
Ştefan Ciobâcă [ ANR grant project AVOTÉ, Started Oct. 2008 ]
Antoine Mercier [ Until Sep. 2009, PhD defended on Dec. 4 ]
Post-Doctoral Fellow
Rohit Chadha [ INRIA grant, started Oct. 2009 ]Joe-Kai Tsay [ INRIA grant, started Oct. 2009 ]
Visiting Scientist
Morten Dahl [ 5 months ]Olivier Pereira [ ENS Cachan grant, 1 month ]
Mark D. Ryan [ ENS Cachan grant, 1 month ]
