Refinement Types With Niki Vazou

Formal verification and type systems - how do they relate? Niki Vazou is on a mission to bring better formal verification to the masses. Niki is the creator of Liquid Haskell, a system that extends Haskell to support refinements. She has also worked on refinement types in Ruby and explained refinement types to scala community at various conferences, but her heart lies with the haskell community. We talk about refinement types, theorem proving, formal verification, SMT solvers, and working with GHC.