☕ 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
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: 686-694
- 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 of 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
Previous Courses
Books
Software
💓 Curriculum vitae
Short bio
François Schwarzentruber is a professor in the Department of Computer
Science at the École Normale Supérieure de Lyon (ENS de Lyon). He
defended his PhD in Computer Science in December 2010 at Université Paul
Sabatier, Toulouse, with a dissertation entitled Seeing, Knowing, Doing:
Case Studies in Modal Logic, supervised by Olivier Gasquet. In 2019, he
obtained his Habilitation (HDR) at ENS Rennes, on the topic of epistemic
reasoning in Artificial Intelligence. Recently, h François
Schwarzentruber has co-authored two pedagogical books in logic: Kripke’s
World on modal logic, and a general book on logic in french. He
developed several tools such as Tableaunoir (a collaborative interactive
whiteboard), and Hintikka’s World (a learning tool for modal logic).
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
Organization
🎹 Piano