Niki Vazou

Niki es una informática griega que trabaja en sistemas de tipos, lógica y programación funcional con el objetivo de hacer que la verificación formal del software sea accesible para los programadores convencionales. 

Después de un doctorado en la Universidad de California, San Diego, y un postdoctorado en la Universidad de Maryland, desde 2018 es profesora asistente de investigación en el Instituto IMDEA de Software en Madrid.

En 2014 recibió la beca de investigación para graduados de Microsoft Research, en 2020 la beca Atracción de Talento, en 2021 la beca de incorporación Juan de la Cierva y la ERC starting grant.