Francesco Gavazzo

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: or