Manuel Di Agostino
Master Student in Computer Science
Parma, Emilia-Romagna, Italy
Master’s student and researcher in Computer Science, specializing in Software Verification through Static Analysis based on Abstract Interpretation.
Currently engaged in the development of a static analyzer for the R programming language.
This site includes my CV, publications, and blog.