That's me. I'm currently working as a post-doc at the University of Bologna, working at the Computer Science department, with the CerCo project. The goal here is to formally verify a C compiler that adds cost annotations to the program.
That's a specific instance of my overall research interest, which is the usage of formal methods to solve practical problems.
physical:via Malaguti, 1, scala D
postal:mura Anteo Zamboni, 7