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)



Position: Associate professor of computer science at the University of Rennes 1, member of the IRISA laboratory.

Research Interests: logic, mathematical logic, non-classical logics, proof theory, artificial intelligence, knowledge representation and reasoning, epistemic logic, law and legal reasoning, deontic logic.


Last update: November 8, 2019