Research

My research focuses on the theory and practice of concurrent and distributed systems: how to design and develop correct and reliable applications, by building upon rigorous mathematical foundations.

My main research topics are: formal methods, concurrency theory, distributed systems, programming languages, type systems. I am particularly keen on developing theoretically-grounded tools and libraries to aid software design, development, and verification.

My publications are on DBLP. You may find more recent publications announced here.

Here is a summary of my current and past research activity and projects.