I'm Alessio, a Computer Science Ph.D. student at IMDEA Software advised by Niki Vazou. My research focuses on program verification using advanced type systems (refinement types) and functional programming. To learn more about my professional background, feel free to check out my CV (PDF).
The best ways to get in touch with me are via email at
((λ x y . x@y) alessio.ferrarini imdea.org) or on
Twitter.
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 a programming language used in one of the biggest Italian software development firms. You can check it out here. Unfortunately, it's in Italian.
Not only do I enjoy the theoretical aspects of computer science, but I also enjoy programming, especially functional programming. My favorite programming language by far is Haskell. You can find pretty much everything I've coded on my GitHub.
Some of my most interesting projects are: