Julien Signoles

  • Research interests:
  • Since 2007, I am a researcher-engineer at CEA LIST, Software Security Labs. I contribute to the tool Frama-C (its kernel, and plug-ins E-ACSL, RTE, and several close source ones).
  • In this context, I contribute to research projects and dissemination activities, by writing papers and teaching.
  • Previously, I did a 1-year postdoc in the same lab. I am a former PhD student of Jean-Christophe Filliātre in the team Inria Toccata. In 2002, I got a master in computer science at University of Paris 11 (Programming: Semantics, Proof and Languages, now called MPRI).
  • Last modification the Wednesday December 23th, 2015 at 21h14min07sec (UTC time).