I am a PhD candidate in Computer Science at University of Bologna and a member of the Focus Team, Inria. My PhD project is supervised by Prof. Davide Sangiorgi.
I work in programming language theory (mostly in programming language semantics). My research focuses on behavioural equivalences for functional languages with monadic and algebraic effects , with a special attention to coinductive operational techniques.
Besides, I am also interested in functional programming. My favourite languages are Haskell, OCaml and SML although I occasionally use Scala and Scheme as well (I know, these are not real functional languages 😉).
You can contact me at: