Full Professor of Univ Rennes at ISTIC (Department of Electrical Engineering and Computer Science)
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 E211)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at IRISA
Address / IRISA / Campus Universitaire de Beaulieu / 263 Avenue du Général Leclerc - Bât 12 / 35042 Rennes Cedex / FRANCE
- GraMSec 2018 5th International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018.
- The Logic, Uncertainty and Games School Lake Como School of Advanced Studies - July 9-13, 2018.
- CSF 2018 31st IEEE Computer Security Foundations Symposium , Co-located with FLOC 2018, July 9-12, 2018, Oxford, UK.
- WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018, Bogota, Colombia.
- IJCAI-ECAI 2018 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, July 13-19, 2018, Stockholm, Sweden.
- AAMAS 2018 17th International Conference on Autonomous Agents and Multiagent Systems, July 10-15, in Stockholm, Sweden.
- AiML 2018 Advances in Modal Logic 2018. Bern, August 27-31.
HEADLINES
PERMANENT EVENTS/LINKS
- Hintikka's world! This website, developed in our research team LogicA, shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them. It contains many classical AI examples.
- 68NQRT seminar of IRISA/INRIA
- The International Federation for Computational Logic
- GDR 2932 Théorie des jeux
- GDR Informatique Mathématique
- GDR Sécurité Informatique, GT Méthodes formelles pour la sécurité
- GT Automata, Logic, Games & Algebra
- Concours Castor Informatique France
HOT TOPICS
RESEARCH
- Logic, Automata and Games
- Imperfect Information
- Knowledge, Uncertainty
- Synthesis problems
- Formal methods for attack trees
- Diagnosis and Control Theory
TEACHING >>
- Logic and Automata
- Algorithmics
- Model checking
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
- 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