About

I am a postdoctoral researcher at the University of Bologna and INRIA Sophia Antipolis working on programming language semantics.
I am mostly interested in relational techniques for higher-order languages, especially coinductively-based ones.