I'm a first-year Computer Science Ph.D. student at IMDEA Software.
I like getting email, even if it’s not strictly research related. Whether we know each other or not, feel free to reach out. If you're in Madrid or we’re at the same conference, I’m always up for a coffee. Just say hi!
The best way to get in touch with me is via email at
((λ x y . x@y) alessio.ferrarini imdea.org).
My research interests lie in programming languages and verification, with a focus on type theory, functional programming, logic, and semantics.
My work right now focuses on the theoretical aspects of refinement types, and I contribute to the development of Liquid Haskell.
I'm very fortunate to be advised by Niki Vazou.
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.
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.