Homepage of Guillaume Aucher



PUBLICATIONS


TEACHING (for students)











Address:

        Guillaume Aucher
        IRISA - F309
        Campus Universitaire 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

    Guillaume Aucher           

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: 19 June 2018