Postdoctoral Fellow
Department of Computer Science
University of Maryland

Email : nvazou at
Office : AVW 4139
Curriculum Vitae


I am post-doc scholar at PLUM of University of Maryland. My research interests include refinement types, static program verification, and type systems. I am working on LiquidHaskell, a static verifier for Haskell based on Liquid Types. Liquid Haskell (as of 2016) is fully described in my Ph.D. thesis.

Currently Teaching

CMSC330: Organization of Programming Languages

Publications & Drafts

Refinement Reflection: Complete Verification with SMT (POPL 2018) pdf slides(.pdf, .key)

with Anish Tondwalkar, Vikraman Choudhury, Ryan Scott, Ryan Newton, Philip Wadler, and Ranjit Jhala

Refinement Types for Ruby (VMCAI 2018) pdf

with Milod Kazerounian, Austin Bourgerie, Jeff Foster, and Emina Torlak

Gradual Liquid Type Inference (Draft 2017) pdf

with √Čric Tanter and David Van Horn

Deriving Law-Abiding Instances (Draft 2017) pdf

with Ryan Scott, Vikraman Choudhury, Ryan Newton, and Ranjit Jhala

A Tale of Two Provers (Haskell 2017) pdf slides(.pdf, .key)

with Leonidas Lampropoulos, and Jeff Polakow

From Monads to Effects and Back (PADL 2016) pdf

with Daan Leijen

Bounded Refinement Types (ICFP 2015) pdf slides(pdf, key), video

with Alexander Bakst, and Ranjit Jhala

Type Targeted Testing (ESOP 2015) pdf

with Eric L. Seidel, Ranjit Jhala

Refinement Types for Haskell (ICFP 2014) pdf slides(.pdf, .key) video

with Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton-Jones

LiquidHaskell: Experience with Refinement Types in the Real World (Haskell 2014) pdf

with Eric L. Seidel, and Ranjit Jhala

Abstract Refinement Types (ESOP 2013) pdf slides(.pdf, .pptx)

with Patric M. Rondon, and Ranjit Jhala

Memory Safety and Race Freedom in Concurrent Programming with Linear Capabilities (FedCSIS 2011) pdf

with Michalis Papakyriakou, and Nikolaos Papaspyrou


Seminars & Workshops



Microsoft Research Graduate Research Fellowship (2014)

UCSD CSE Graduate Award for Research (2015)


LiquidHaskell: Varification of Haskell code (Univiersity of Athens '16)

LiquidHaskell: Varification of Haskell code (Univiersity of Hawai'i '16)

LiquidHaskell Tutorial (CUFP '16) html

LiquidHaskell (Facebook '16) html

LiquidHaskell (compose '16) html

LiquidHaskell Tutorial (CUFP '15) html

Bounded Refinement Types (SOCAL '15) pdf

Monadic User-Defined Effects in Koka (MSR Redmond, Summer14) html

Tutorial on LiquidHaskell html

Liquid Types for Haskell (PL-Seminar at NTUA 2013) html

Demo: Liquid Types for Haskell (Haskell 2013) html

Tutorial: Type-Based Analysis of Higher-Order Programs (HOPA 2013) html


Before coming to UCSD, I was in Athens, Greece, where I did my undergrand at ECE of NTUA. While there, I was member of softlab, working under Nikoloas Papaspyrou for my diploma thesis, about Type Systems with Linear Capabilities.