Manzonetto Giulio is a PhD in computer science. He loves lambda calculus, functional programming, OCaml.