Michaël Thomazo (Preferred)
Michaël Thomazo
Researcher, INRIA
Joined
April 2025
Names
Emails
****@inria.fr (Confirmed)
Personal Links
Career & Education History
Researcher
INRIA (inria.fr)
2015 – Present
Postdoc
Technische Universität Dresden (tu-dresden.de)
2013 – 2015
PhD student
Université de Montpellier II (univ-montp2.fr)
2010 – 2013
Advisors, Relations & Conflicts
Coauthor
Tomás Masopust
Present
Coauthor
Stepan Holub
Present
Coauthor
Liat Peterfreund
Present
Coauthor
Louis Jachiet
Present
Coauthor
Javier Letelier
Present
Coauthor
Oscar Mendoza
Present
Coauthor
Raphaël Bonaque
Present
Coauthor
Geneviève Simonet
Present
Coauthor
Tien Duc Cao
Present
PhD Advisee
Lucas Larroque
2023 – Present
PhD Advisor
Marie-Laure Mugnier
2010 – 2013
PhD Advisor
Jean-François Baget
2010 – 2013
Expertise
description logics; complexity of reasoning
2010 – Present
Publications
Co-Authors
- Bogdan Cautis
- Camille Bourgaux
- David Carral
- Federico Ulliana
- François Goasdoué
- Félix Chavelli
- Geneviève Simonet
- Ioana Manolescu
- Javier Letelier
- Jean-François Baget
- Liat Peterfreund
- Louis Jachiet
- Lucas Larroque
- Marie-Laure Mugnier
- Markus Krötzsch
- Maxime Buron
- Meghyn Bienvenu
- Michael Benedikt
- Michel Leclère
- Mélanie König
- Oscar Mendoza
- Paul Boniol
- Pierre Bourhis
- Quentin Manière
- Raphaël Bonaque