Manos Kapritsos is an Associate Professor at the Computer Science and Engineering Department at the University of Michigan. He received his PhD from the University of Texas at Austin in 2014. His research focuses on making formal verification a practical alternative to testing. His papers have received a Distinguished Paper Award at PLDI and a Distinguished Paper Award at USENIX Security. He is a recipient of the Google Faculty Award, the NSF CAREER award and the Holt Award for Excellence in Teaching.
The ELICSIR Foundation was founded in October 2023 as an Italian non-profit “Ente del Terzo Settore (ETS)” and is registered with the Registro Unico Nazionale del Terzo Settore (RUNTS) as 04154681201.
© 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.
