Full Professor at ISTIC (Department of Electrical Engineering and Computer Science) University of Rennes 1
Research Scientist in the LogicA research team at IRISA / INRIA Rennes - Bretagne Atlantique
Assistant Loic Lesage (Loic.Lesage[at]irisa.fr and +33(0)2 99 84 74 37)
Offices and telephone +33 (0)2 99 84 72 54 in C202 at IRISA / +33 (0)2 23 23 39 21 in D286 at ISTIC
Address / IRISA / Campus Universitaire de Beaulieu / 263 Avenue du Général Leclerc - Bât 12 / 35042 Rennes Cedex / FRANCE
NEWS
- Strategic Reasoning 2014, satellite Workshop of ETAPS 2014 , 5-13 April 2014, Grenoble, France
- GandALF 2014, 5th International Symposium on Games, Automata, Logics and Formal Verification, Verona (Italy) 10-12 September 2014.
- TTL 2015, Fourth International Congress on Tools for Teaching Logic, Rennes (France), 1-4 June 2015.
PERMANENT EVENTS
HOT TOPICS
RESEARCH
- Logic, Automata and Games
- Imperfect Information
- Knowledge, Uncertainty
- Synthesis problems
- Diagnosis, Opacity and Control Theory
TEACHING
- Logic and Automata
- Game Theory
- Verification
- Algorithmics
NETWORKS and PROJECTS
- Consortium of the ERC starting grant 313360 EPS Epistemic Protocol Synthesis
- DISTOL project on Distributed systems, stochastic models and logics (Indian-French project)
- IST STREP 215543 COMponent-Based Embedded Systems design Techniques
- Games for Design and Verification (ESF Research Networking Programme)
- IST-004527 ARTIST2 Network of Excellence on Embedded Systems Design
RESPONSABILITIES
- Program Committees SR 2014, GandALF 2014
- Editorial Board of the Journal on Discrete Event Dynamic Systems, Theory and Applications
- Project member of National research groups: GDR-IM Logique et complexité, GDR-GPL FORWAL
- Scientific Manager of the International Affairs of IRISA Laboratory >>
- Member of the ISTIC Education Council
- Advisory Board Marie Curie Fellows Association (Public Relations Associate and Science Policy Advisor) >>