- Professor in the computer
science departement at ENS de
Lyon
- Member of MC2 at LIP, UMR 5668
- Email:
shortfirstname.myloooooooooooooooonglastname🐌ens-lyon.fr
(replace ç by c)
- LIP, ENS Lyon, 46 allée d’Italie, 69364 Lyon Cedex 07 - France
- Office GN1.329 S
- Affiliation: ENS de Lyon, CNRS, University Claude Bernard Lyon 1,
Inria, LIP, UMR 5668, 69342, Lyon Cedex 07, France
☕ 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. He has co-authored
two textbooks in logic: Kripke’s World on modal logic, and a
general book on logic in French. He developed several tools for teaching
such as Tableaunoir (a collaborative interactive blackboard),
and Hintikka’s World (a learning tool for modal logic).
Academic Positions
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
- Co-organizer of the Workshop
on Logical Methods for Neural Network Analysis (LogicNN) at FLOC 2026, 25 July 2026
- Co-organizer of the french workshop Journées synthèse de
programmes 26-27 november 2024
- Co-organizer of the french conference Journées d’Intelligence
Artificielle Fondamentale et Journées Francophones Planification,
Décision, Apprentissage pour la conduite des systèmes (JIAF-JFPDA)
2023, 2024, 2025, with Zied Bouraoui, Jean-Guy Mailly and Anaëlle
Wilczynski
- Co-organizer of french conference Journées Francophones
Planification, Décision, Apprentissage pour la conduite des
systèmes (JFPDA) 2021-22
- Co-organizer of the workshop Formal and
Cognitive Reasoning (FCR) 2023
- Co-organizer of the workhop Formal Methods
Education Online: Tips, Tricks & Tools (FOMEO) 2022 at CAV’22
and FLoC’22
- Co-organizer of the workhop Strategic Reasoning (SR) 2019 at
IJCAI 2019
- Co-organizer of the workshop Formal Methods and AI (FMAI)
2019
- Co-organizer of the french conference Rencontres des
Jeunes Chercheurs en Intelligence Artificielle (RJCIA) 2018
- Co-organizer of the conference Tools for Teaching Logic 2015 (TTL
2025)
🎹 Piano