Ivan Perez

Registered user since Fri 19 May 2017

Name: Ivan Perez

Bio: Researcher @ NIA / NASA Formal Methods | Founder @ Haskell Game Company Keera Studios | Haskell game and mobile app developer.

Affiliation: NIA / NASA Formal Methods

Research interests: Game Programming, Haskell, Mobile platforms, FRP


REBLS 2020Chair in Program Committee within the REBLS 2020-track
Session Chair of Welcome (part of REBLS 2020)
Session Chair of Keynote Talk: SCADE 6 (part of REBLS 2020)
ICFP 2020Committee Member in External Review Committee within the ICFP Program-track
REBLS 2019Author of Streams, Reactivity and FRP: where we are, where to go within the REBLS-track
Committee Member in Program Committee within the REBLS-track
HIW 2019Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track
FARM 2019Author of Mobile Game Programming in Haskell within the FARM 2019-track
Haskell 2019Committee Member in Program Committee within the Haskell 2019-track
PLMW @ ICFP 2018Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
FARM 2018Committee Member in Program Committee within the FARM 2018-track
Haskell 2018Author of Rhine: FRP with Type-Level Clocks within the Haskell 2018-track
ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Fault Tolerant Functional Reactive Programming (Functional Pearl) within the Research Papers-track
CUFP 2017Author of Haskell games and apps for iOS and Android within the CUFP 2017-track
FARM 2017Session Chair of Session 2: Papers/Demos (part of FARM 2017)
Committee Member in Program Committee within the FARM 2017-track
Author of GALE: A Functional Graphic Adventure Library and Engine within the FARM 2017-track
Haskell 2017Author of Back to the Future: Time Travel in FRP within the Haskell 2017-track
ICFP 2017Author of Testing and Debugging Functional Reactive Programming within the Research Papers-track
Haskell 2016Author of Functional Reactive Programming, Refactored within the Haskell-track