Today, Matteo Paier has successfully defended his PhD thesis, titled Fine-grained symbolic verification of heterogeneous systems, at IMT Lucca, in front of the Commission composed by professors Luca Viganò, Chiara Bodei and Gabriele Costa, receiving an excellent evaluation.
So now Matteo is PhD in Cybersecurity. Congratulations!