This article may need to be rewritten to comply with Wikipedia's quality standards. Relevant discussion may be found on the talk page. You can help. The talk page may contain suggestions.(August 2021)
Graduated from École Polytechnique, and member of the Corps de l'armement, he began his career at the Laboratoire Central de l'Armement (French equivalent of DARPA) from 1959 to 1967. In 1966 he defended his Habilitation thesis (Doctorat d'État) about a theorem proving software using meta-theorems.
Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques. Thesis, 1966.
Un programme de démonstration de théorèmes. Monographies d'informatique de l'AFCET. Dunod. 1970.
Textes, ordinateurs et compréhension. Eyrolles. 1985. Translated to English: An artificial approach to understanding natural language. North Oxford Academic (Grande-Bretagne) et GP Publishing (USA) 1988.
Métaconnaissance, Futur de l'Intelligence Artificielle. Hermès. 1990.
Penser autrement l'informatique. Hermès. 1993.
De la machine à l'intelligence. Hermès. 1995.
Artificial Beings - The conscience of a conscious machine ISTE, Wiley, Mars 2009. ISBN978-1848211018