(Department of Electrical Engineering and Computer Science)
Research Scientist LogicA research team at IRISA / INRIA
Assistant Sophie Maupilé
(sophie.maupile[at]irisa.fr and +33(0)2 99 84 71 26, office E211)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at IRISA
Address Office B119/IRISA/Campus Universitaire de Beaulieu/
263 Avenue du Général Leclerc/Bât 12/35042 Rennes Cedex/FRANCE
RESEARCH INTERESTS
- Logic, Automata and Games
- Imperfect Information
- Knowledge, Uncertainty
- Synthesis problems
- Strategic reasoning
- Formal methods for security
- Diagnosis and Control Theory
TEACHING TOPICS
- Logic
- Automata
- Algorithmics
- Model checking