Su appuntamento. Contattare il docente mandando una e-mail a letterio.galletta(AT)unifi.it
Letterio Galletta è Ricercatore a t.d. (art. 24 c.3-a L. 240/10) presso la Scuola IMT Alti Studi Lucca (Gennaio 2018 - oggi). In precedenza è stato assegnista di ricerca presso l'Università di Pisa (Luglio 2014 - Novembre 2017). Ha conseguito il dottorato di ricerca in Informatica nel 2014 e la Laurea Specialistica in Informatica nel 2010 presso l'Università di Pisa.
Il lavoro di ricerca di Letterio Galletta riguarda l’identificazione delle problematiche di design nei software innovativi, lo studio delle loro proprietà matematiche e lo sviluppo di strumenti che supportano i programmatori nello sviluppo di software robusto e sicuro. Ha partecipato al progetto PRIN “Security Horizon” finanziato dal MIUR e al progetto "Through the fog” (PRA_2016_64) finanziato dall’Università di Pisa. Ha collaborato attivamente con ricercatori di altre istituzioni italiane ed europee tra le quali Università Ca’ Foscari di Venezia, ETH di Zurigo, Università di Genova and Università di Leicester. I risultati della sua sono stati pubblicati in articoli (con recenzione) di riviste scientifiche, conferenze internazionali e workshop (la lista completa è disponibile su Google Scholar).
Presso l'Università degli studi di Firenze per il Corso di Laurea Magistrale in Informatica, Galletta è professore a contratto per a.a. 2018/2019 dell'insegnamento "Distributed Programming for IoT". In passato, Galletta ha svolto attività di supporto alla didattica, di tutoraggio e ha supervisionato tesi di laurea triennale e magistrale presso l'Università di Pisa.
L'attivtià di ricerca di Galletta ha principalmente riguardato l'identificazione delle problematiche di design e di implementazione nei software, focalizzandosi in particolare sugli aspetti relativi alla sicurezza. L'obiettivo della sua ricerca è la progettazione e l'implementazione di strumenti automatici che supportino i programmatori nello sviluppo di software robusto e sicuro. Il suo campo di ricerca principale è quello della language-based security che consiste nell'affrontare problematiche di sicurezza usando tecniche tipiche dei compilatori e della verifica formale. Galletta ha applicato queste tecniche per affrontare problemi in paradigmi ermergenti come il software adattivo e context-aware e più recentemente l'Internet of Things.
Legenda
Letterio Galletta is assistant professor at IMT School for Advanced Studies Lucca (January 2018 - now). He worked as postdoc at University of Pisa (July 2014 - November 2017). He received the PhD degree in Computer Science in 2014 and the Master's degree in 2010 from the University of Pisa.
Letterio Galletta's research is concerned with the identification of important issues in software design, the study of formal properties of the innovative software, and the development of novel, effective, and provably correct solutions to support coding and help developers write secure and robust software. He has been involved in the MIUR project “Security Horizon” (PRIN 2010) and the project "Through the fog” (PRA_2016_64) funded by University of Pisa. He has many collaborations with researchers from Italian and European institutions including Ca’ Foscari Venezia, ETH Zürich, University of Genova and the University of Leicester. The results of his work have been published in peer-reviewed papers of reputed journals, international conferences and workshops (the complete list is available on Google Scholar).
Currently is also adjuct professor at University of Florence where he is teaching the course "Distributed Programming for IoT". In the past Letterio Galletta worked as graduate teaching assistant for bachelor and graduate courses of University of Pisa. He also tutored students and supervised bachelor and master thesis.
Letterio Galletta's research is concerned with the identification of important issues in software design and implementation with a special focus on security issues.The goal is his research is the design and the implementation of tools to support coding and help developers write secure and robust software.In particular, he has been working in the field of language-based security, i.e. using techniques from programming languages, compilers and formal verification to address security problems. He applied these techniques to emerging fields like adaptive and context-aware software and, more recently, the Internet of Things.