Hi! I'm Alessio Ferrarini

I'm a second-year Computer Science Ph.D. student at IMDEA Software. Feel free to contact me at alessio.ferrarini@imdea.org.

Research

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.

Publications

• "PLEX: Normalization for Refinement Types" by Alessio Ferrarini, Niki Vazou, Wouter Swierstra - Accepted at OOPSLA 2026, Oakland, USA
  • Official version (ACM Digital Library)
  • Preprint (PDF)
  • Artifact (Zenodo)
• "Large Elimination and Indexed Types in Refinement Types" by Alessio Ferrarini, Niki Vazou - TYPES 2025, Glasgow, UK
  • Extended abstract (PDF)
  • Slides (PDF)

Other

• "Solid code with Liquid Types!" by Alessio Ferrarini, Pablo Castellanos - Lambda World 2025, Cádiz, Spain
  • Notes for the first part (PDF)
  • Material (GitHub)

Education

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.