Homepage of Guillaume Aucher



PUBLICATIONS


TEACHING (for students)




Address:

        Guillaume Aucher
        IRISA - F309, 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) univ-rennes1.fr

           



Position: Associate Professor of Computer Science at the University of Rennes 1.

Research Interests: logic, mathematical logic, proof theory, model theory, artificial intelligence, knowledge representation and reasoning, epistemic logic, law and legal reasoning, deontic logic.


Last update: 22 August 2018