About me

I'm a Computer Science MSc student at the University of Pisa, with a growing interest in programming languages and program verification.

I'm also fascinated by HCI, the kind of Doug Engelbart and Bret Victor, but I think I'll leave the topic for another life.