Marco Esposito
Le pubblicazioni dell'autore sono raggiungibili sul catalogo IRIS tramite il seguente link
Artificial Intelligence and Formal Methods for Personalized Medicine and for Cyber-Physical Systems analysis, verification and validation.
I'm also involved in research projects concerning the analysis of dynamical systems through simulation and High Performance Computing (HPC).
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma