Julien Signoles

  • Centres d'intérêt:
  • 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 11 (Programmation: Sémantiques, Preuves et Langages, maintenant appelé MPRI).
  • Dernière modification le mercredi 23 décembre 2015 à 21h14min07sec (heure de Paris).