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 Ugo Dal Lago.

I work in programming language theory (mostly in programming language semantics). My research focuses on behavioural equivalences and metrics for functional languages with monadic and algebraic effects , with a special attention to coinductive operational techniques.

Recently, I started a blog—fixed points and coffee—about mathematics and theoretical computer science.

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 😉).

Since March 2018 I am first level instructor of kettlebell lifting (aka kettlebell sport or girevoy sport).

You can contact me at: or