In this episode I talk with Niki Vazou. We talk about her introduction to Haskell, Ph.D. and graduate school overview, and all things Liquid Haskell.Our Guest, Niki Vazou@nikivazou on Twitterhttps://nikivazou.github.io/Liquid Haskell websiteAnnouncementsKats Conf 2 will be taking place in Dublin, Ireland on the 18th of February. Visit http://www.katsconf.com/ to register and for more information.ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit www.clojured.de to get tickets and keep updated as more information becomes available.BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit www.bobkonf.de for more information about the conference.ElixirDaze is coming up on March 2nd and 3rd. With keynotes by Prag Dave Thomas and Saša Jurić, make sure to visit www.elixirdaze.com for more information and to register.Destination Code, a new unconference starting in Utah, is having its inaugural event March 27-30th, 2017. Visit http://www.destination.codes/ to find out more.Erlang & Elixir Factory 2017 is on the 23rd and 24th of March. Visit www.erlang-factory.com/sfbay2017 for more information.The O’Reilly Software Architecture Conference will be taking place April 2-5, 2017 in New York. Visit http://www.oreilly.com/pub/cpc/50017 to register and find out more, and use code USRG for 20% off most passes.flatMap(Oslo) is a FP-conference with focus on Scala and the JVM, taking place on May 2nd and 3rd in Oslo, Norway. Please go to http://2017.flatmap.no/cfp/ to learn more.ElixirConf EU will be taking place on May 4th and 5th with tutorials on May 3rd. For more information visit: http://www.elixirconf.eu/OSCON will be taking place May 8-11 in Austin, TX. For more information and to register visit: http://www.oreilly.com/pub/cpc/50016, and use code USRG for 20% off most passes.Elm Europe will be taking place June 8th and 9th in Paris, France. Visit http://elmeurope.org/ for more information and to register. EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.If you have a conference related to functional programming, contact me, and I will be happy to announce it.Topics [@About NikiLiquid HaskellSimon Peyton Jones on Episode 11 mentioning Liquid HaskellNiki’s ThesisNiki’s introduction to HaskellLiquid Types paperLiquid Types for OCamlWhat made Haskell click for NikiComing in and understanding Types in HaskellHoogleMonads and `do` notationHow Niki was introduced to working on Liquid Types in HaskellOverview of how graduate school projects generally workOverview of Liquid HaskellRefinement typesHeartbleedSMT Solver“Liquid Haskell is basically Haskell […] extended with special comments in which the user can give their Refinement Type specifications”Difference between Dependent Types, Refinement Types, and Liquid TypesDecidable TheorySpecifying specifications to help make sure the SMT solver has enough information to determine code is `safe`Gabriel Gonzalez – Compile-time memory safety using Liquid HaskellGradual TypingRunning Liquid Haskell at the module levelLiquid Haskell `assume` keywordInteracting with code that has yet to be annotated with Liquid HaskellWorking on specifications for recursive functions“You can treat Liquid Haskell as a theorem prover”Ability to start using Liquid Haskell from the beginningThe feedback cycle between the research and industry in the Haskell communityWhere to find out more about Liquid HaskellLiquid Haskell websiteLiquid Haskell blogLiquid Haskell About pageTry Liquid Haskell onlineLiquid Haskell tutorialLiquid Haskell Github repoLiquid Haskell mailing listNiki at Lambda DaysNiki keynoting at Typelevel SummitNiki at Programming Language Design and Implementation 2017As always, a giant Thank You goes to David Belcher for the logo design.