Stefano Forti is a tenure-track assistant professor at the Department of Computer Science, University of Pisa, Italy, since 2024. He holds a PhD degree cum laude in Computer Science (2020) from the University of Pisa, and an MSc cum laude in Computer Science and Networking (2016) from the same university and the Sant'Anna School of Advanced Studies, Pisa, Italy. His current research interests include Cloud-IoT computing paradigms, green and sustainable application management and formal automated reasoning.In these areas, he has co-authored more than 70 scientific publications in international journals and conferences, and has participated in several national and international research projects and groups. He serves as elected member of the Scientific Committee for Area 01 (Mathematics and Computer Science) and as delegate for orientation activities at the Department of Computer Science.
Stefano
Forti