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 Tifenn Donguy (Tifenn.Donguy[at]irisa.fr and +33(0)2 99 84 74 37)
Offices and telephone +33 (0)2 99 84 72 54 in B119 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
- Master Internship Subject 2016-2017
- FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai Mathematical Institute, Chennai. December 13-15, 2016.
- CSL 2016 25th EACSL Annual Conference on Computer Science Logic, Marseille, France August 29 - September 1
HEADLINES
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
- Recent Program Committees FSTTCS 2016, CSL 2016, SR 2016 GraMSec 2016 WODES 2016, Cassting 2016
- 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 Adminsitration Board
- Advisory Board Marie Curie Fellows Association (Public Relations Associate and Science Policy Advisor) >>