Francesco Mariotti received his Bachelor degree and Master degree in Computer Science at the University of Florence in October 2019 and October 2021, respectively.
Since November 2021 he is a Ph.D. student in Computer Science at the University of Florence, RCL group.
His main research interests are the design, verification and validation of cyber-physical systems. |