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, office F221)
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
- Robolog 2017, June 28-30, 2017, IRISA, Rennes, France.
- Computer Science Logic 2017, August 20-24, Stockholm University, Sweden.
- 19th European Agent Systems Summer School, 7-11 August, 2017, University of Gdańsk, Gdańsk, Poland.
- French-American Doctoral Exchange Seminar (FADEx) 2017: Cybersecurity, 14-15 June 2017, Rennes, France.
- Dagstuhl Seminar 17231, on Epistemic Planning. June 5 – 9 , 2017.
- Workshop on the 20th Anniversary of LSV, May 11-12, 2017 - Cachan.
- Int. Workshop on Distributed Computing in the honor of Michel Raynal, May 5 2017, IRISA - Inria Rennes, Rennes France.
- Journées nationales 2017 GDR Informatique Mathématique, 14-16 mars 2017, LIRMM, Montpellier, France.
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) >>