Projects

Vidéos

[]()J'ai commencé à faire des vidéos de vulgarisation : voici ma thèse en [137 secondes](https://www.youtube.com/watch?v=kv5J64iI1iw) ! Il y a aussi en anglais un [teaser](https://www.youtube.com/watch?v=w55nG_jLRLM) d'une minute pour le Squirrel Prover, ainsi qu'une [version longue](https://www.youtube.com/watch?v=n-s_lGe44EM&t=72s) de 13 minutes qui présente les principales idées et concepts de Squirrel.

Comité de programme de CSF'22

[]()J'ai rejoins le PC de [CSF'22](https://www.ieee-security.org/TC/CSF2022/cfp.html), hâte de découvrir vos papiers !

Squirrel Prover

[]()L'un des mes principaux projest est en ligne. Plus d'infos (en Anglais) sur le [site](https://squirrel-prover.github.io) !

Prix de thèse

[]() J'ai reçu un prix de thèse, merci au jury ! Les infos sont [là](https://gdr-securite.irisa.fr/prix-de-these/).