J’ai récemment soutenu ma thèse, sous la supervision de Jérôme Feret, dans l’équipe Antique à l’ENS. Je travaille à l’amélioration de l’analyseur statique Astrée pour prouver des propriétés de sécurités d’un système d’exploitation. Cela demande de faire travailler ensemble les modèles mémoire de l’assembleur et du C. De plus, Astrée doit être capable de gérer des variables fantômes pour exprimer des propriétés complexes inhérentes à la programmation bas niveau.

News

• April 2023: Je suis chair du comité d’évaluation des artefacts de SAS 2023.
• April 2022: Je suis chair du comité d’évaluation des artefacts de SAS 2022.
• Novembre 2020: J’ai soutenu. Voyez plus sur ma soutenance.
• Avril 2020: Je fais partie du comité d’évaluation des artefacts de SAS 2020.