IRISA, Campus de Beaulieu
263, Avenue du Général Leclerc
35042 Rennes Cédex
Tel.: +33 (0) 2 99 84 22 60
Fax: +33 (0) 2 99 84 71 71
Email: firstname.lastname (at) irisa.fr
(or firstname.lastname (at) univ-rennes1.fr)
I am an associate professor of computer science at the University of Rennes 1, member of the IRISA laboratory and associate member of the IRMAR laboratory. I teach at the ISTIC.
Research Interests: logic, non-classical logics, proof theory, mathematical logic, artificial intelligence, knowledge representation and reasoning, epistemic logic, law and legal reasoning, deontic logic.
Other Interests: music (piano)
|Last update: July 25, 2021|