Christophe Chareton

I am a research engineer in CEA-LIST, in Software Safety & Security Lab, Palaiseau  (France), working on formal verification for quantum programing languages.

RESUME

        Topics of interest

• • quantum computing

  • formal proofs & verification

  • functionnal programming

  • quantum semantics

  • multi-agent temporal logic

  • requirements engineering

  • strategy reasoning

        Contact

• • Christophe Chareton,

  •  Centre NanoInnov, DILS/LSL,   91191 Gif sur Yvette CEDEX, France \\

  •  Phone: +33 1 69 08 64 87\\

  •  Email:  christophe.chareton@cea.fr

Teaching (Tutorials) February 2012 to June 2013

• • Mathematical tools for computer science, ENSEEIHT.

  • Object oriented programming, ENSEEIHT.

  • Specification Description Language, ENSEEIHT.

  • Object oriented programming, ISAE.

        Academic experiences

        PhD Thesis

             I defended my PhD thesis, entitled "Modélisation formelle d'exigences et logiques temporelles multi-agents", on June 20th 2014.(Abstract in french) (Abstract in english) (Slides) (Manuscript)(Diploma)(Defense report).          

• • Publications

  • Talks