Niki Vazou

Niki Vazou is an Associate Research Professor at the IMDEA Software Institute. She holds a Ph.D. from UC San Diego, where she co-developed Liquid Haskell, a refinement type checker for Haskell programs. Her research focuses on refinement types and their application in verifying real-world properties of programs. In 2022, she received the prestigious ERC Starting Grant CRETE to advance this research.

She delivered a lecture titled 'Practical Program Verification with Refinement Types' on July 18, 2024, at the TU of Crete's Science Building 145Π42. Her work bridges theoretical foundations with practical verification tools, emphasizing automated methods for ensuring software correctness.

Key honors include the ERC Starting Grant CRETE, which supports her exploration of refinement types in verifying complex software systems.

Niki’s contributions to formal methods and type systems have significant implications for improving software reliability, particularly through her ongoing work with Liquid Haskell and related technologies.