Ricardo focardi è Professore associato confermato press l’Università “Ca’ Foscari” di Venezia. Ha pubblicato più di 80 articoli in riviste e congressi internazionali. I suoi principali interessi di ricerca sono la sicurezza informatica, con particolare riferimento alla crittografia, security APIs e hardware trusted; e imetodi formali, modelli matematici e linguaggi per la descrizione di sistemi con requisiti di sicurezza.