Peltier, Nicolas

LIG
Email: Nicolas.Peltier@imag.fr
Tel: +33 (0)457 42 15 40


Research areas

  • Automated Deduction
  • Logic, Verification and Proofs
  • Software proof assistant for higher-order logic (Isabelle/HOL)
  • Inductive and Abductive Reasoning

Published on April 11, 2017