Manos Kapritsos è professore associato presso il Dipartimento di Informatica e Ingegneria dell’Università del Michigan. Ha conseguito il dottorato di ricerca presso l’Università del Texas ad Austin nel 2014. La sua ricerca si concentra su come rendere la verifica formale un’alternativa pratica ai test. I suoi articoli hanno ricevuto un Distinguished Paper Award presso il PLDI e un Distinguished Paper Award presso USENIX Security. Ha ricevuto il Google Faculty Award, l’NSF CAREER Award e l’Holt Award for Excellence in Teaching.
© ELICSIR Foundation ETS 2025 - All right reserved
Questo sito utilizza cookie tecnici e di profilazione per migliorare la tua esperienza di navigazione. Continuando a navigare nel sito acconsenti all'uso dei cookie.
