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@univ-grenoble-alpes.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:

  • Separation Logic
  • Superposition calculus
  • Tableau proof procedures
  • Inductive theorem proving
  • Abductive reasoning
  • Formalization of proofs in Isabelle.

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