Riccardo Gozzi (joint supervision with João Rasga): defended in 2022
Currently a postdoc at Karlsruhe Institute of Technology, Germany
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.
Currently a permanent researcher at the Centre national de la recherche scientifique (CNRS), on a sabbatical at lowRISC, Cambridge, United Kingdom
2024/25:
Discrete Mathematics
Logic and Computation
Modern Cryptography