Manzonetto Giulio, a Ph.D. student in computer science. He loves lambda calculus, discrete mathematics, functional programming, OCaml.