Michaël Cadilhac (Preferred)
Michaël Cadilhac
Assistant Professor, School of Computing, DePaul University
Joined
May 2025
Names
Emails
****@depaul.edu (Confirmed)
****@cadilhac.name (Confirmed)
Personal Links
Career & Education History
Assistant Professor
School of Computing, DePaul University (depaul.edu)
2019 – Present
Postdoc
Department of Computer Science, University of Oxford (oxford.ac.uk)
2017 – 2019
Postdoc
Department of Computer Science, Eberhard-Karls-Universität Tübingen (uni-tuebingen.de)
2014 – 2017
PhD student
Département d'Informatique et Recherche Opérationnelle , Université de Montréal (umontreal.ca)
2009 – 2013
Advisors, Relations & Conflicts
Coauthor
Pierre Ohlmann
2024 – Present
PhD Advisee
Corentin Barloy
2019 – 2024
PhD Advisor
Pierre McKenzie
2008 – 2013
Expertise
Automata theory
2008 – Present
Circuit complexity
2008 – Present
Formal logic
2008 – Present
Publications
Co-Authors
- Adam Walker
- Adrien Pommellet
- Alain Finkel
- Alexandre Duret-Lutz
- Andreas Krebs
- Andy Yang
- Arka Ghosh
- Asaf Yeshurun
- Ayrat Khalimov
- Bernd Finkbeiner
- Charles Paperman
- Charly Delfosse
- Clément Tamines
- Corentin Barloy
- David Chiang
- Dmitry Chistikov
- Felix Klein
- Filip Mazowiecki
- Florian Renkin
- Gaëtan Staquet
- Georg Zetzsche
- Guillermo A. Pérez
- Géraud Sénizergues
- Jakob Schulz
- Javier Esparza