About

I am a PhD student in Computer Science at Ca’ Foscari University of Venice, in Italy, now in my third year, supervised by Prof. Pietro Ferrara. I am a member of the Software and System Verification group there, where my research is focused on static analysis and its applications.

My particular focus is the theory of abstract interpretation. My aim is to recover the architecture — the bigger picture — of software systems, and of microservice systems in particular. Such systems are hard to reason about: each microservice is independent, self-contained, and may be written in its own language with its own set of dependencies. This heterogeneous, scattered setting — where the system is fragmented into many isolated units of code (recovering it is like reassembling a mosaic with missing pieces) — remains a challenge for static analysis tools. My PhD aims to do some groundwork in this direction; concretely, I currently focus on the most widespread case: microservices built on Spring Boot (a Java web framework) that intercommunicate over HTTP in the style of a REST API.

What interests me most is the ability to think and act when the world is abundant with detail, too much detail. Hence the follow-up — what to reduce and what to abstract away to gain this ability. Real software is much the same: concrete, sprawling, often millions of lines long. How can one navigate it, hold it in one’s mind, and still reach holistic conclusions — capturing some of its system-wide properties?