Address : Bureau C114
Phone : +33 4 76 63 59 99 Fax : +33 4 76 63 55 52
E-mail : Nicolas.Peltier@imag.fr
|
Research interests Publications Systems Teaching Other activities Links |
Research interestsI am mainly interested in automated reasoning, (computational) logic and related topics (rewriting, logic programming etc.). Here are my current research topics:
Various internship subjects are available for master level students, either on theoretical topics or more practically oriented subjects (experimentation or implementation). PhD subjects are also available. |