Massimiliano Baldo has joined the lab as a student of the National PhD Programme in Cybersecurity.

Massimiliano works on programming languages for specifying security policies and on techniques for their verification, a key issue in cloud and edge computing. Welcome, Massimiliano!