Welcome!

I am Fabrizio, a computer science researcher and professor working on programming technology, formal methods, and artificial intelligence.

The way we design and build digital systems matters.
I develop programming and specification methods for digital systems – helping people be more productive while creating software that is safer, more sustainable, and more trustworthy. At its core, my work explores how foundational computing technology can enable faster, more confident innovation while strengthening democratic participation in a trustworthy digital world.

Use the menu in the top-right to find material about my research, projects, teaching, or tools. I also keep a bliki (previously a blog). For updates and announcements, I typically share news on my LinkedIn page.

I care deeply about collaboration and mentorship. You can see some of my past and current PhD students and postdocs.

If you'd like to discuss my work, explore collaboration, or are simply curious about what I do, you are very welcome to reach out via any of the channels below.