Research Associate Professor
IMDEA Software Institute Madrid, Spain

Email : niki.vazou at imdea.org
Office : 384

Curriculum Vitae



News

2026
- Chair of WITS'26@POPL
- Teaching Liquid Haskell at UCM
- Committee Member in ICFP'26, FSCD'26
- To attend IFIP WG2.8
- Organizing Committee of Verilang'26@ECOOP
- Lecturer at FoPPS
2025
- Paper Published at TOPLAS
- Paper Accepted at ZKProof'25
- Paper Accepted at TYPES'25
- Teaching Liquid Haskell at UCM
- Program Committee at Lambda World'25
- Attended IFIP WG2.1
- Speaker at Reachability Problems'25
- Member of EC SIGPLAN
- Master Thesis Committee Member for Kevin Lopez, Complutense, Madrid
- Committee Member in FSE, Industry Papers'25, ECOOP'25, TFP'25, ESOP'25


About Me

As of Nov. 2022 I am an Associate Professor at IMDEA. I started my computer science education in NTUA, Athens, Greece. I got my Ph.D. from UCSD, San Diego where I developed Liquid Haskell, as described in my Ph.D. thesis. After that, I spend some time as a postdoctoral fellow at University of Maryland.

My research interests include refinement types, automated program verification, and type systems and my goal is to make theorem proving a useful part of mainstream programming. Liquid Haskell is an SMT-based, refinement type checker for Haskell programs that has been used for various applications ranging from fully automatic light verification of Haskell code, e.g., bound checking, to sophisticated theorem proving, e.g., non-interference.