I'm Alessio, a first-year Computer Science Ph.D. student at IMDEA Software. My research interests span the broad area of programming languages and verification, with a focus on:
I'm very fortunate to be advised by Niki Vazou.
You can find my CV here (PDF).
The best ways to get in touch with me is via email at
((λ x y . x@y) alessio.ferrarini imdea.org)
I obtained my Master's and Bachelor's degrees in Computer Science from the University of Padua in Italy 🇮🇹. During my studies, I had the opportunity to study abroad at VU Amsterdam in the Netherlands 🇳🇱.
For my Master's thesis, I developed a generalization of Hoare logic called Abstract Hoare logic, a "semantics first" approach to obtain sound and complete partial correctness/incorrectness program logics. You can check it out here.
For my Bachelor's thesis, I developed a type system and implemented some optimizations for the CPL programming language used in one of the biggest Italian software development firms. You can check it out here. Unfortunately, it's in Italian.