Loading ...
Post-doctoral researcher in theoretical computer science. Topics of interest: theory of programming languages, rewriting theory, λ-calculus, proof theory, quantitative semantics, coinduction.
Previously: post-doctoral researcher at IRIF, CNRS (Paris, France); PhD in mathematics at I2M, Aix-Marseille Université (Marseille, France).
Go to the Curriculum vitae
