Activity
From 2020 to 2025 I have been PhD student and post-doc in
the Parkas team at Inria Paris & ENS,
under the supervision of Timothy Bourke
and Marc Pouzet.
Then I have been post-doc in the
APR
team at Sorbonne Université, under the supervision of
Antoine Miné.
My research is about modeling and verification of synchronous programs.
More specifically, I worked on defining and encoding formal denotational
semantics of dataflow languages within the
Vélus project.
Contact
firstname.lastname@pjmr.fr