PhD Student
Department of Computer Science and Engineering
University of California, San Diego

Email : nvazou at
Office : EBU3B 3260
Curriculum Vitae


I am a third year PhD student in Programming Systems group of UCSD, supervised by Ranjit Jhala. My research interests include static program verification and type systems. Currently, I am working on LiquidHaskell, a static verifier for Haskell based on Liquid Types.


Bounded Refinement Types (under submission) pdf

with Alexander Bakst, and Ranjit Jhala

Remarrying Effects and Monads (under submission) pdf

with Daan Leijen

Type Targeted Testing (ESOP 2015) pdf

with Eric L. Seidel, Ranjit Jhala

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

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


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

with Daan Leijen

Tutorial on LiquidHaskell html

with Eric Seidel, Patric M. Rondon, and Ranjit Jhala

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

with Eric Seidel, and Ranjit Jhala

Demo: Liquid Types for Haskell (Haskell 2013) html

with Eric Seidel, and Ranjit Jhala

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

with Patric M. Rondon, Eric Seidel, and Ranjit Jhala


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.