Nicolas Peltier

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

Address : Bureau 480
LIG Bâtiment IMAG
150 place du Torrent
38400 Saint Martin d'Hères, France

Phone : +33457421540 E-mail : Nicolas.Peltier@univ-grenoble-alpes.fr

Research interests
Publications
Systems
Teaching
Conferences
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