Federico SERAFINI

Qualifica
Dottorando
Dottorato
INFORMATICA
39° Ciclo - Immatricolati nel 2023
Area tematica
C-rusted: una soluzione basata su analisi statica per avere le garanzie di Rust in standard C
Supervisore
Pietro Ferrara / Abramo Bagnara (Bugseng Srl)
E-mail
federico.serafini@unive.it
956835@stud.unive.it
Sito web
www.unive.it/persone/federico.serafini (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
segui il feed