Accueil
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.
I am a research engineer in CEA-LIST, in Software Safety & Security Lab, Palaiseau (France), working on formal verification for quantum programing languages.
Topics of interest
Topics of interest
quantum computing
formal proofs & verification
functionnal programming
quantum semantics
multi-agent temporal logic
requirements engineering
strategy reasoning
Contact
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
Teaching (Tutorials) February 2012 to June 2013
PhD Thesis
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).