Sébastien BARDIN
Chercheur en Informatique          

 french version  


ebastien's picture


Formation

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

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

Contact
Mél       : sebastien.bardin(at)cea.fr
Tél        : +33 (0)1 69 08 54 16
Adresse : CEA NanoInnov
                 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.



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


Présent

Passé

 



Divers







Document made with Nvu