Publications


Teaching (for students)

Address:

Guillaume Aucher
IRISA, Campus de Beaulieu
263, Avenue du Général Leclerc
35042 Rennes Cédex
France

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-rennes.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.

News: I co-organize the World Logic Day celebrations in Rennes.  

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)