Homepage of Guillaume Aucher


Publications


Teaching (for students)












Université de Rennes 1

IRISA



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