Julien Signoles

  • Centres d'intérêt:
  • 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).