Sébastien Bardin's Homepage                                    

english version




Sébastien BARDINSébastien BARDIN
Chercheur en Informatique

Formation
Docteur en Informatique de l'ENS Cachan, 2005
Ingénieur de l'ENSIIE, 2002

Poste actuel
Chercheur,
Laboratoire de Sûreté Logicielle,
Commissariat à l'Energie Atomique (CEA), 
Paris-Région, France

Contact
Mél.    : sebastien.bardin(at)cea.fr
Tél.     :  +33 (0)1 69 08 54 16
Adr.    : CEA Saclay, Bâtiment 528, Pièce 135
                 91191 Gif sur Yvettes, France







J'ai effectué ma thèse de doctorat au Laboratoire Spécification et Vérification (ENS Cachan), où mes travaux ont portés sur la vérification automatique de systèmes "infinis" via des techniques de représentations symboliques et d'accélération. Je me suis plus particulièrement intéressé aux systèmes manipulant des compteurs et de la mémoire dynamique. J'ai notamment participé à la réalisation du logiciel FAST (model-checking de systèmes à  compteurs). J'ai ensuite rejoint en 2006 le  Laboratoire de Sûreté Logicielle du CEA Saclay. Je travaille maintenant sur la vérification de codes binaires exécutables, en utilisant des combinaisons de techniques symboliques et concrètes.


mon ancienne page de l'ENS Cachan


Thèmes de recherche

Vérification de codes binaires 

Model checking de systèmes infinis (passé)


News




Contrats de recherche

Présent

Passé


Publications


Logiciels



Sujets de postdocs, thèses et stages

Je suis toujours à la recherche de candidats motivés. N'hésitez pas à me contacter.
Liste de propositions

Enseignement

Durant ma thèse de doctorat, j'ai été moniteur à l'ENS Cachan.  Je donne maintenant des vacations dans divers établissements.

Présent

 Passé



Divers







Document made with Nvu