Riccardo Gozzi (joint supervision with João Rasga): defended in 2022
Amaury Pouly (joint supervision with Olivier Bournez): defended in 2015
This thesis has been selected as the recipient of Ackermann Award 2017, by the European Association for Computer Science Logic.
2026/27:
Discrete Mathematics
Logic and Computation
Modern Cryptography