We are delighted to announce that Massimiliano Baldo has joined our research group as student of the National PhD Program in Cybersecurity.

Massimiliano’s research is focused on the critical intersection of modern computing and security. His interests include Programming Languages for the specification of security policies, and methods and techniques for their verification - a key issue in the area of cloud and edge computing.

We are excited to support Massimiliano’s journey and see the impact of his work on these rapidly evolving fields.