Name:Teodors Lisovenko

Bio:

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.

Country:Italy

Affiliation:Ca' Foscari University of Venice

Research interests:Static Analysis, Formal Methods, Abstract Interpretation, Software Architectures