Julien Signoles
Centres d'intérêt:
- vérification formelle de logiciel
- vérification à l'exécution
- sûreté et sécurité des logiciels
- combinaison de techniques d'analyses (statiques et dynamiques)
- programmation (fonctionnelle)
J'ai défendu mon Habilitation à Diriger des Recherches
le 9 juillet 2018.
Depuis 2007, je suis ingénieur-chercheur au Laboratoire de Sûreté des Logiciels du CEA LIST. Je participe
activement au développement de l'outil Frama-C (aujourd'hui son noyau et les
greffons E-ACSL, RTE, et plusieurs autres non publiquement disponibles).
Dans ce cadre, je contribue à
des projets de recherche et à des activités
de dissémination, notamment à travers
des publications et de
l'enseignement.
Auparavant, j'ai effectué un post-doctorat d'un an dans le même laboratoire, à
la suite de mon doctorat effectué au sein de l'équipe Inria Toccata sous la
direction de Jean-Christophe Filliâtre. En 2002, j'avais obtenu un DEA (maintenant master recherche)
d'informatique à l'Université Paris Sud (Programmation: Sémantiques, Preuves et Langages,
maintenant appelé MPRI).
Dernière modification le jeudi 4 mai 2023 à 17h16min12sec (heure de Paris).