about me

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.

professional address

physical:

postal:

site by jaap boender