Docenti, tutor e ricercatori
Francesco Terrosi ha conseguito la laurea magistrale in Informatica presso l’università di Firenze nel 2020. Svolge attività di ricerca dal 2019, interessandosi delle problematiche di affidibalità e sicurezza dei sistemi informatici.
Negli anni 2019-2020 è stato ricercatore in visita presso City, University of London (Londra).
Negli anni 2020-2024 svolge attività di ricerca presso l’Università di Firenze, esplorando le problematiche relative all’utilizzo dell’intelligenza artificiale in contesti in cui debba essere garantita la sicurezza delle persone e dell’ambiente circostante. Contemporaneamente svolge l’attività di consulente di ricerca presso Resiltech S.R.L., come figura esperta di architetture hardware per sistemi con alti requisiti di affidabilità.
Nel 2020 partecipa al progetto di ricerca ADVANCE come ricercatore in visita presso lo “Instituto Nacional de Pesquisas Espaciais” (INPE) a Sao Jose dos Campos, in Brasile.
ADVANCE Project
SF-Arch project
Articoli in rivista
Terrosi, F., Mariotti, F., Lollini, P., & Bondavalli, A. (2023, October). Modeling of GPGPU architectures for performance analysis of CUDA programs. In 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS) (pp. 761-771). IEEE.
Ferrante, N., Terrosi, F., Maruccio, L., Rossi, F., Fanucci, L., & Bondavalli, A. (2023, September). HUSTLE: A Hardware Unit for Self-test-Libraries Efficient Execution. In International Conference on Applications in Electronics Pervading Industry, Environment and Society (pp. 392-398). Cham: Springer Nature Switzerland.
Terrosi, F., Strigini, L., & Bondavalli, A. (2022, June). Impact of machine learning on safety monitors. In International Conference on Computer Safety, Reliability, and Security (pp. 129-143). Cham: Springer International Publishing.
Terrosi, F., Ceccarelli, A., & Bondavalli, A. (2022, June). Failure modes and failure mitigation in GPGPUs: a reference model and its application. In 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 62-72). IEEE.
Scienze e tecniche dell’educazione e dei servizi per l’infanzia
Insegnamento: Laboratorio di Informatica
Scienze motorie, pratica e gestione delle attività sportive
Insegnamento: Laboratorio di Informatica
Innovazione educativa e apprendimento permanente nella formazione degli adulti in contesti nazionali e internazionali
Insegnamento: Abilità informatiche e telematiche