La investigadora del Instituto IMDEA Software, Niki Vazou, ha sido seleccionada como miembro de la Junta de Directores de la Haskell Foundation. Es la primera vez que la Fundación decide crear un Consejo de Directores, por lo que la presencia de Vazou es un histórica.
La Junta Directiva de la Haskell Foundation (HF) es la responsable de gestionar y establecer la dirección de la Fundación. El consejo actual de la HF actuará de forma provisional durante la fase de lanzamiento y gestionará la creación del primer consejo completo a principios de 2021.
Haskell no es “otro lenguaje de programación más”: encarna un ataque elegante y radical a toda la industria de la escritura de software. Influye profundamente en el mundo del software para mejor. La HF es una organización independiente y sin ánimo de lucro dedicada a ampliar la adopción de Haskell, apoyando su ecosistema de herramientas, bibliotecas, educación e investigación.
No es un secreto que los intereses de investigación de Niki incluyen refinement types, la verificación automatizada de programas y los type systems, y su objetivo es hacer que la demostración de teoremas sea una parte útil de la programación convencional. Liquid Haskell es un verificador de tipos de refinement types en SMT para programas Haskell que se ha utilizado para varias aplicaciones que van desde la verificación ligera totalmente automática del código Haskell, por ejemplo, la comprobación de límites, hasta la comprobación sofisticada de teoremas, por ejemplo, la no interferencia.
