Niki Vazou

Niki Vazou is a Research Professor at the IMDEA Software Institute, a leading research institute in Spain. Her work focuses on program verification, refinement types, and formal methods, particularly through the Liquid Haskell project. She holds a PhD from the University of California, San Diego, USA. Her research interests include theorem proving, dependent types, and the application of formal methods in software development.

Education:

• PhD in Computer Science, University of California, San Diego, USA

Research Interests:

Dr. Vazou specializes in program verification and theorem proving using refinement types. Her work emphasizes practical tools like Liquid Haskell, which integrates formal verification into Haskell programming. She explores topics such as termination analysis, natural deduction, and structural induction within the context of functional programming and formal systems. Her contributions bridge theoretical foundations and practical implementations, enabling rigorous software validation and static analysis.

Professional Activities:

She has developed course materials on refinement types, natural deduction, and program verification, reflecting her commitment to advancing both research and education in formal methods. Her work is part of the broader effort to improve software correctness through rigorous type systems and automated reasoning.