Niki Vazou
Research Assistant Professor at IMDEA Software Institute
Madrid, Community of Madrid, Spain
Summary
🤩
Rockstar🎓
Top SchoolNiki Vazou is a Research Assistant Professor and Haskeller with 14 years of experience applying programming languages research to practical verification tools. Based at IMDEA Software Institute after a PhD from UC San Diego and a postdoc at University of Maryland, she works at the intersection of type systems, refinement types, and tooling for program correctness. Her open-source contributions to LiquidHaskell—one of the most cited refinement-type projects for Haskell—show hands-on impact on parsing, constraint generation, and core-to-logic transformations. She has industry experience prototyping effect inference at Microsoft and a track record of turning formal methods into usable compiler and analysis components. Colleagues describe her as both a rigorous researcher and a pragmatic engineer who brings deep theory into production-ready code.
14 years of coding experience
University of California San DiegoBachelor's degree, Computer Engineering, Bachelor's degree, Computer Engineering at National Technical University of AthensAlgorithms and Logic, Algorithms and Logic at National and Kapodistrian University of Athens
Github Skills (5)
type-system10
verification10
haskell10
refinement-types10
smt10
Programming languages (11)
Github contributions (5)
ucsd-progsys/liquidhaskell
May 2012 - Jan 2023
Liquid Types For Haskell
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 releases, 31 reviews, 3317 commits in 10 years 9 months
Contributions summary:Niki contributed to the Haskell codebase of a refinement type system, including modifications to parsing, constraint generation, and core-to-logic transformations. The commits involved changes to data structures, such as adding new types and altering the behaviour of existing types. Furthermore, the user has modified theorems used in the framework, which suggests the user is involved in developing new mechanisms for code correctness.
smthaskellliquidrefinement-typesverification
nikivazou/club_de_science
Jul 2015 - Aug 2015
Contributions:21 commits, 16 pushes, 1 branch in 20 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.