The researcher of the IMDEA Software Institute, Niki Vazou, has been elected as part of the members of the board of the Haskell Foundation. It is the first time the Foundation decides to create a Board of Directors, so the presence of Vazou is historic.

The Haskell Foundation Board of Directors are responsible for managing and setting the direction of the Haskell Foundation. HF’s current board will serve on an interim basis during the launch phase and will manage the establishment of the first full board in early 2021.

Haskell is not “just another programming language”: it embodies a radical and elegant attack on the entire enterprise of writing software. It profoundly influences the world of software for the better. The Haskell Foundation (HF) is an independent, non-profit organization dedicated to broadening the adoption of Haskell, by supporting its ecosystem of tools, libraries, education, and research.

It is not a secret that Niki’s research interests include refinement types, automated program verification, and type systems and her goal is to make theorem proving a useful part of mainstream programming. Liquid Haskell is an SMT-based, refinement type checker for Haskell programs that has been used for various applications ranging from fully automatic light verification of Haskell code, e.g., bound checking, to sophisticated theorem proving, e.g., non-interference.