Alessio Ferrarini

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

Research

My research focuses on programming language theory, type theory, refinement & dependent types, semantics, and formal verification. I contribute to the development of Liquid Haskell. I am fortunate to be advised by Niki Vazou.

Publications

• CIRT: Calculus of Inductive Refinement Types POPL 2027 (to appear)
  Alessio Ferrarini, G. A. Kavvos, Niki Vazou
• PLEX: Normalization for Refinement Types OOPSLA 2026
  Alessio Ferrarini, Niki Vazou, Wouter Swierstra
  • Paper
  • Preprint
  • Artifact
  • Slides
• Large Elimination and Indexed Types in Refinement Types TYPES 2025
  Alessio Ferrarini, Niki Vazou
  • Extended abstract
  • Slides

Supervision

• Co-supervised the MSc thesis Towards Formalisation of Gödel’s First Incompleteness Theorem in Liquid Haskell - Alejandro Soriano Compta - Universidad Politécnica de Madrid, 2026

Industry Experience

• Applied Scientist Intern Amazon Web Services, Minneapolis, USA, 2026

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.