☕ Research
- Research interests:
- artificial intelligence: reasoning about knowledge, multi-agent
systems, planning and logic, learning and logic
- tools for teaching computer science
- Publications: DBLP,
HAL, ORCID
News
- Our work Spanning-tree based coverage for a tethered robot
accepted in the IEEE Robotics and Automation Letters
- Our work A Simple Integration of Epistemic Logic and
Reinforcement Learning accepted at AAMAS 2025
- Our work A Computationally Grounded Framework for Cognitive
Attitudes accepted at AAAI 2025
- Our work on contextual
reasoning won the Best Student Paper Award at KR 2024
- Our work on reasoning about graph
neural networks has been accepted at IJCAI 2024.
Selected publications
- Thorsten Engesser, Thibaut Le Marre, Emiliano Lorini, François
Schwarzentruber, Bruno Zanuttini: A Simple Integration of Epistemic
Logic and Reinforcement Learning. AAMAS 2025 (to appear)
- Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas
Troquard: A Logic for Reasoning about Aggregate-Combine Graph Neural
Networks. IJCAI 2024: 3532-3540
- Arthur Queffelec, Ocan Sankur, François Schwarzentruber: Complexity
of planning for connected agents in a partially known environment.
Theor. Comput. Sci. 941: 202-220 (2023)
- Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François
Schwarzentruber: DEL-based epistemic planning: Decidability and
complexity. Artif. Intell. 287: 103304 (2020)
Students
PhD students
- Victorien Desbois
(2023-), on Multi-objective optimization for transport plan
repair, co-supervised with Zoltan Miklos and Ocan Sankur
- Thibaut Le Marre (2023-), on Epistemic reinforcement
learning, co-supervised with Jilles
Dibangoye and Ocan
Sankur
- Dylan
Bellier (2021-2024), on “Strategic reasoning with dependencies:
hyperteam logics, realizable strategies, dependency matrices”,
co-supervised with Sophie
Pinchinat
- Arthur Queffelec
(2018-2020), Connected multi-agent path finding: how robots get away
with texting and driving, co-supervised with Ocan Sankur
- Tristan Charrier (2015-2018), Theoretical complexity of
reasoning in dynamic epistemic logic and study of a symbolic
approach, co-supervised with Sophie
Pinchinat
Master 2 students
- Victorien Desbois
(2023), Search Algorithms for Connected Multi-Agent Path Finding,
co-supervised with Ocan Sankur
- Thibaut Le Marre (2023), Reinforcement learning techniques for
Multi-agent path finding with imperfect information, co-supervised with
Jilles Dibangoye and Ocan Sankur
- Pierre
Le Scornet (2021), Formal definition of dynamic attack graphs,
co-supervised with Sophie Pinchinat
- Arthur Queffelec (2018), rade-off between Robustness and Optimality
in Strategic Reasoning, co-supervised with Ocan Sankur
- Sébastien Lê Cong (2017), Expressiveness of single-rooted DEL
(dynamic epistemic logic) structures, co-supervised with Sophie
Pinchinat
- Tristan Charrier (2014), Communications with cameras in epistemic
modal logic, co-supevised with Sophie Pinchinat
- Gaspard
Douady (2013), An automaton approach to Kripke semantics,
co-supevised with Sophie Pinchinat
Master 1 students
- Hai Trung Pham (2019), Improvement if the software architecture of
Hintikka’s World.
- 2019: Adrien Weyl, Implementation of a multi-agent path finding
algorithm for connected agents, co-supevised with Arthur Queffelec
- 2018, Anass Lalkha, Generation of possible worlds from a symbolic
representation of a Kripke model.
- 2017 Eva Soulier. Generation of strategies for a multi-drone system.
co-supevised with Tristan Charrier
Bachelor students
- 2021 Isseinie
Sinouvassane. Algorithm design for Connected Multi-agent Path
Finding. Co-supevised with Ocan Sankur
- 2020 Paris Douady. Symbolic
approach for Hintikka’s World.
- 2017 Gaëtan Douéneau.
Regular properties of DEL structures. Co-supevised with Sophie
Pinchinat
Tutorials
- MultiAgent, Flexible, Temporal, Epistemic and Contingent Planning at
IJCAI-PRICAI 2020, KR 2021 with Aurélie Beynier (LIP6) and Frédéric
Maris (University of Toulouse)
- Epistemic reasoning in AI at IJCAI-ECAI 2018, IJCAI 2019, AAMAS
2019, with Tristan Charrier (université de Rennes)
- Dynamic epistemic logic and its applications to plan/protocol
synthesis at EASSS 2017, with Sophie Pinchinat (université de
Rennes)
- Kripke’s World : an introduction to modal logics via tableau systems
at ESSLLI 2010, with Olivier Gasquet, Andreas Herzig and Bilal Saïd
(University of Toulouse)
Events
- Journées
d’Intelligence Artificielle Fondamentale et les Journées Francophones
sur la Planification, la Décision et l’Apprentissage pour la conduite de
systèmes
- Journées Synthèse
de Programmes, 26-27th of November, 2024
- FCR
2023
- Formal
Methods Education Online: Tips, Tricks & Tools, Satellite
workshop of CAV’22 and FLoC’22
- Strategic reasoning, Satellite
workshop of IJCAI2019
- Formal methods and
artificial intelligence, FMAI 2019: 2-3 of May 2019, Rennes,
France
- Tools for teaching logic, TTL
2015, Rennes, France
Research projects
✎ Teaching
Current Courses
- L3IF - INFO3105:
Programming
- L3IF - INFO3207: Research internships
- M1IF - INFO4102 & INFO4208: Integrated projects
- M1IF - INFO4215: Databases (first part of the course “Databases and
dataming”). Lecture
notes.
Previous Courses
Books
Software
💓 Curriculum vitae
Academic Positions
- 2024 - …: Professor at ENS de
Lyon, member of MC2
at LIP
- 2011 - 2024: Associate professor at ENS Rennes, member of LogicA at IRISA
- 2010 - 2011: ATER at Université de Toulouse 3, member of LiLAC at
IRIT
Education
- 2019 Habilitation (HDR) in Computer Science from ENS Rennes
- 2010 PhD in Computer Science from the Université Paul Sabatier,
Toulouse, France
- Seeing, Knowing, doing: case studies in modal logic
- Advisor: Olivier Gasquet
- Defense date: December 1th, 2010
Professional Activities
- PC member for IJCAI 2011,
2016-2024
- PC member for AAAI 2019-2023
- Senior PC member for IJCAI 2025
- Senior PC member for AAAI 2024-2025
- PC member for AAMAS 2025, 2018-2024
- PC member for KR 2018, 2020, 2021
- PC member for the demonstration track at IJCAI 2019-2025
- PC member for ECAI 2020-2022, 2024, 2025
Organization
- Co-organizer of Journées synthèse de
programmes 26-27 november 2024
- Co-organizer of french conference JFPDA 2021-22
- Co-organizer of the french conference JIAF-JFPDA 2023, 2024, 2025,
with Zied Bouraoui, Jean-Guy Mailly and Anaëlle Wilczynski
- Co-organizer of the workshop FCR 2023
- Co-organizer of the workhop FOMEO 2022 at
CAV’22 and FLoC’22
- Co-organizer of the workhop SR
2019 at IJCAI 2019
- Co-organizer of the workshop FMAI 2019
- Co-organizer of the french conference RJCIA 2018
- Co-organizer of the conference tools for teaching logic 2015
🎹 Piano