Stefano Forti

Location: LARGO BRUNO PONTECORVO, 3, 56127 PISA

Email: stefano.forti@unipi.it

Phone: 0502212759

Website: http://pages.di.unipi.it/forti/

Stefano Forti

Profile

Position: Ricercatore a tempo determinato L.240/2010

Unit: Dipartimento di Informatica

Scientific-disciplinary sector: Informatica INFO-01/A

Stefano Forti è ricercatore in tenure track (RTT) presso il Dipartimento di Informatica dell'Università di Pisa dal 2024. Ha conseguito un dottorato di ricerca con lode in Informatica (2020) presso l'Università di Pisa, e una laurea magistrale con lode in Informatica e Networking (2016) presso la stessa università e la Scuola Superiore Sant'Anna. I suoi attuali interessi di ricerca includono i paradigmi di calcolo Cloud-IoT, la gestione sostenibile di applicazioni di prossima generazione e il ragionamento formale automatizzato. In questi ambiti, è co-autore di oltre 70 pubblicazioni scientifiche su riviste e conferenze internazionali e ha partecipato a diversi progetti e gruppi di ricerca nazionali e internazionali. E' membro eletto della Commissione scientifica d’area 01 (Scienze matematiche e informatiche) e delegato per le attività di orientamento del Dipartimento di Informatica.

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.


Teaching

Teaching activity

Teaching responsibility for modules/courses

  • Reti - corso b ( modulo dell'insegnamento reti e laboratorio iii cod. 736aa) per Laurea in Informatica
  • Green computing (cod. 792AA) per Laurea in Informatica


Student consultation hours

Location: Da concordare via email: online o in presenza (Studio 279/DE, Dipartimento di Informatica)

Time: Martedì 14.00-15.30 Tuesday 14.00-15.30 Si prega di inviare un messaggio al docente per definire la modalità del ricevimento (online/in presenza) . Please send an email to the instructor to define the question time mode (online/in presence).

Research

Research interests

Stefano Forti is a tenure-track researcher at the Department of Computer Science, University of Pisa, Italy. He is a member of the Service-Oriented, Cloud and Fog Computing research group and the Pervasive AI Lab. His scientific interests include cloud-edge computing paradigms, secure software engineering, sustainable computing, and automated reasoning. 

Publications