Registered user since Wed 23 Sep 2015

Name: Niki Vazou

Affiliation: University of Maryland

Personal website: https://nikivazou.github.io/

ICFP 2017 Activities

• Committee Member in Program Committee for HOPE 2017
• Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track in Haskell 2017
• Committee Member in Program Committee for ML 2017
• Show activities from other conferences