Tableaunoir
Tableaunoir is an online collaborative blackboard. You can also create interactive
animations via the use of "fridge magnets".
Goto the new webpage. This is the old web page of François Schwarzentruber at ENS Rennes. His research interests are artificial intelligence, reasoning about knowledge, planning and logic. He was member of the team LOGICA at IRISA.
Teaching
Textbooks
- Compilation : analyse lexicale et syntaxique, co-written with Romain Legendre
- Kripke's Worlds, co-written with Olivier Gasquet, Andreas Herzig, Bilal Said
- Logique : fondement et applications, co-written with Pierre Le Barbenchon and Sophie Pinchinat
Research
Epistemic reasoning in AI
I study epistemic reasoning, that is, the abilities of agents to
reason about higher-order knowledge/beliefs (an agent believes that another one knows that...). See my habilitation thesis.
Connected multi-agent path finding
I am now also working on automated planning for multiple agents.
Misc.
Contact
Photograph by Isabelle
Puaut
- email: francois.schwarzentruber[at(@)]ens-rennes.fr
- Wikipedia: contributor
- Gitlab INRIA: user
