I've participated in the following doctoral juries:
- Julien Signoles.
Extension de ML avec raffinement : syntaxe, sémantiques et
système de types.
Université Paris Sud, 11-07-2006.
(Advisor)
- Benoît Razet.
Machines d'Eilenberg effectives.
Université Paris Diderot, 26-11-2009.
(Reviewer)
-
Ioana Paşca.
Vérification formelle pour les méthodes numériques.
Université de Nice - Sophia Antipolis, 23-11-2010.
(Examiner)
- Johannes Kanig.
Specification and Proof of Higher-Order Programs.
Université Paris Sud, 26-11-2010.
(Advisor)
- François Bobot.
Logique de séparation et vérification déductive.
Université Paris Sud, 12-12-2011.
(Advisor)
- Bárbara Isabel de Sousa Vieira.
Formal Verification of Cryptographic Software Implementations.
Universidade do Minho, 25-06-2012.
(Reviewer)
- Étienne Lozes.
Separation Logic: Expressiveness and Copyless Message-Passing
(Habilitation).
ENS Cachan, 03-07-2012.
(Examiner)
- Cyril Cohen.
Formalized algebraic numbers: construction and first-order theory.
École Polytechnique, 20-11-2012.
(Reviewer)
- Frédéric Gava.
BSP, bon à toutes les sauces (Habilitation).
Université Paris Est, 10-12-2012.
(Reviewer)
- David Miguel Ramalho Pereira.
Towards certified program logics for the verification of
imperative programs.
Universidade do Porto, 18-04-2013.
(Reviewer)
- Jean Fortin.
BSP-Why: a Tool for Deductive Verification of BSP Programs.
Université Paris Est, 14-10-2013.
(Reviewer)
- Maxime Denès.
Formal study of efficient algorithms in linear algebra.
Université de Nice - Sophia Antipolis, 20-11-2013.
(Reviewer)
- Jonathan Protzenko.
Mezzo: the language of the future.
Université Paris Diderot, 29-09-2014.
(Examiner)
- Zheng Cheng.
Formal Verification of Relational Model Transformations
using an Intermediate Verification Language.
Maynooth University, Ireland, 17-12-2015.
(Reviewer)
- Adel Djoudi.
Analyse statique au niveau binaire.
Université Paris-Saclay, 2-12-2016.
(President)
- Léon Gondelman.
Un système de
types pragmatique pour la vérification déductive des
programmes.
Université Paris-Saclay, 13-12-2016.
(Advisor)
