Niki dreams of bringing formal verification into everyday programming and she pursues her dream at IMDEA.
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...
Scala eXchange London 2018
Two days in London
Join us at Scala eXchange London 2018, Europe's largest gathering of Scala engineers, to discover where Scala is headed in 2019 and to meet, learn and share skills with 1,000+ other passionate Scala developers.types scala-cats cats tagless-final tagless spark-streaming kafka apache-spark apache-kafka scalaz scalacheck dotty spark akka scalac scala-web data scala-test devops microservices functional-programming reactive scala
Talks I've Given
Keynote: Liquid Haskell: Theorem Proving for All
Featuring Niki Vazou
Formal verification has been gaining the attention and resources of both the academic and the industrial world since it prevents critical software bugs that cost money, energy, time, and even lives. Yet, software development and formal verification are decoupled, requiring verification experts to...keynote haskellx haskell