Nicolas Peltier

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

Address : Bureau 480
LIG Bât. IMAG
38400 Saint Martin d'Hères, France

Phone : +33457421540 E-mail : Nicolas.Peltier@imag.fr


Research interests

Publications

Systems

Teaching

Other activities

Links

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
  • Formalization of proofs in Isabelle
  • Proof generalization, constrained proof procedures
  • Satisfiability modulo theories, combination of reasoning procedures

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