Niki Vazou
@nikivazou
Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
ID: 464979933
http://nikivazou.github.io 15-01-2012 20:44:06
617 Tweet
2,2K Followers
476 Following
Is it an amazing talk? Safe couplings at ICFP Conference
Que aproveche! IMDEA Software
Some stats on IMDEA Software's presence at ACM CCS 2024 this year: - 8 papers (with 3x from Pedro Moreno-Sanchez) - 2 best reviewer awards (Dario Fiore and Juan Caballero) - 1 distinguished paper award (yours truly) Extremely proud of all IMDEA Software's amazing researchers!
In our new episode Jimmy Koppel and matti palli 🧙♂️ chat with Wouter Swierstra and Niki Vazou, enjoy! haskell.foundation/podcast/18/
Great talk by Facundo Domínguez on how to verify your spaghetti with Liquid #Haskell at #HaskellX
IMDEA Software has an opening for Tenure-track Faculty Positions. Apply at software.imdea.org/open_positions… If you have questions, reach out 😁
In our last episode @agdakx talks with Niki Vazou and matti palli 🧙♂️ and Agda and how it is used to verify Haskell! haskell.foundation/podcast/20/
You can now listen Andrey Mokhov talking with matti palli 🧙♂️ and Andres Löh about algebraic graphs, selective functors, and the difference between OCaml and Haskell. haskell.foundation/podcast/21/
Listen to Alejandro Russo talking with Andres Löh and Niki Vazou about security and privacy and Haskell! haskell.foundation/podcast/22/
I've enjoyed working with Nico Lehmann Adam T. Geller and Niki Vazou on this new paper on #Flux to appear PLDI next week; maybe you'll enjoy reading it too! ranjitjhala.github.io/static/flux-pl…
(1/3) Today, we had the pleasure to host Niki Vazou for a talk. Niki is an associate research professor at IMDEA Software. Niki's talk was about Refinement Types as used in the Liquid Haskell program verifier.
Congratulations Antonio Zegarelli for winning 3rd prize at #splash23 SRC !!!
