Nicolas Peltier

Associate Researcher/Chargé de Recherche CNRS
CAPP team - Laboratory of Informatics of Grenoble

Address : Bureau C114
LIG Bât. C, 220, rue de la Chimie
38400 Saint Martin d'Hères, France

Phone : +33 4 76 63 59 99    Fax : +33 4 76 63 55 52
E-mail :

Research interests




Other activities


Research interests

I am mainly interested in automated reasoning, (computational) logic and related topics (rewriting, logic programming etc.). Here are my current research topics:

  • Term and formula schematisation, induction-based theorem proving
  • Abduction (implicate generation) in equational first-order logic
  • Proof generalization, constrained proof procedure
  • Satisfiability modulo theories, combination of reasoning procedures

This web page has been created and is maintained by N. Peltier