I am a post-doctoral researcher in the Parkas team at Inria Paris. My current work focuses on the modeling of a denotational semantics for hierarchical automata within the Vélus compiler.
firstname.lastname@{pjmr,inria,ens}.fr