Christophe Chareton
quantum computing
formal proofs & verification
functionnal programming
quantum semantics
multi-agent temporal logic
requirements engineering
strategy reasoning
Christophe Chareton,
Centre NanoInnov, DILS/LSL, 91191 Gif sur Yvette CEDEX, France \\
Phone: +33 1 69 08 64 87\\
Email: christophe.chareton@cea.fr
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).