Today Matteo Paier successfully defended his PhD thesis, Fine-grained symbolic verification of heterogeneous systems, at IMT Lucca, receiving an excellent evaluation. The Commission was composed of professors Luca Viganò, Chiara Bodei and Gabriele Costa.

Matteo is now a PhD in Cybersecurity. Congratulations!