Silvia Bonfanti è Ricercatrice a tempo determinato (RTD-A) da gennaio 2023. Ha conseguito la laurea in Ingegneria Informatica presso l'Università degli Studi di Bergamo nel 2013, e nel 2017 presso lo stesso ateneo ha conseguito il Dottorato di Ricerca in Ingegneria e Scienze Applicate (Ingegneria Informatica). La sua attività di ricerca è nell’ambito dell’Ingegneria del Software, con particolare riguardo all’applicazione di metodi formali: modellazione, validazione, verifica, e generazione automatica del codice. In particolare, si focalizza sull’integrazione di metodi formali nel processo di sviluppo di software medico al fine di ottenere la certificazione. Inoltre, svolge attività di ricerca per nuovi approcci digitali per la diagnosi e il trattamento di malattie visive (soprattutto per l’ambliopia). Recentemente ha ampliato la sua attività di ricerca nell’utilizzo di modelli @run.time e nello sviluppo di attività di testing per reti neurali.