Niki dreams of bringing formal verification into everyday programming and she pursues her dream under a post-doc position at University of Maryland.
Haskell is her favorite programming language because she finds programming with functions the natural way to go and also she never figured out how to prevent null pointer, runtime exceptions.
At UC San Diego, she and her team developed Liquid Haskell that extends Haskell types with logic with a goal to catch more exceptions before runtime. Since then, she has been pushing to turn Liquid Haskell into a theorem prover, so that all Haskellers can prove random theorems about their programs within Haskell!
I'm speaking at...
Haskell eXchange 2018
Two days in London
Back for a seventh installment, the Haskell eXchange is an annual conference created for and by the Skills Matter community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem. Everyone is welcome to join, whether...haskell haskellx types functional-programming