Activité
De 2020 à 2025 j'ai été doctorant puis post-doctorant au département
d'informatique de l'ENS, dans l'équipe Inria
Parkas,
sous la direction de Timothy Bourke
et de Marc Pouzet.
J'ai ensuite été post-doctorant dans l'équipe
APR
du Lip6,
à Sorbonne Université, sous la supervision
d'Antoine Miné.
Mon travail de recherche porte sur la modélisation et la vérification de
programmes synchrones. Plus particulièrement, j'ai travaillé à l'encodage
de sémantiques dénotationnelles pour les langages flot de données à la
Lustre/Scade au sein de l'assistant de preuve Rocq.
Contact
Vous pouvez me contacter par e-mail à l'adresse suivante :
prénom.nom@pjmr.fr