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
NICE EVENTS TO COME
- LAMAS 2015 8th Workshop on Logical Aspects of Multi-Agent Systems. Istanbul (Turkey), May 4-8, 2015.
- AutoMathA 2015 Leipzig University (Germany), May 6 - 9, 2015.
- French Symposium on Game Theory and Applications 2015 Université Paris Diderot (France), 26-30 May 2015
- TARK 2015 15th conference on Theoretical Aspects of Rationality and Knowledge, Pittsburgh (USA), 4-6 June 2015.
- TTL 2015, 4th International Congress on Tools for Teaching Logic, Rennes (France), 9-12 June 2015.
- GraMSec'15 2nd International Workshop on Graphical Models for Security, Verona, (Italy), 13 July 2015. Affiliated workshop of the Computer Security Foundations Symposium 2015.
PERMANENT EVENTS/LINKS
- 68NQRT seminar of IRISA/INRIA
- GDR 2932 Théorie des jeux
- GDR Informatique Mathématique
- GT Automata, Logic, Games & Algebra
- Concours Castor Informatique France
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 LAMAS 2015 TARK 2015 TTL 2015
- 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) >>