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

Contributions

REBLS 2020 Chair in Program Committee within the REBLS 2020-track
Chair of Welcome to REBLS within the REBLS 2020-track
Session Chair of Welcome to REBLS & Keynote (part of REBLS 2020)
Session Chair of Session 4 (part of REBLS 2020)
Chair of Closing remarks within the REBLS 2020-track
Session Chair of Session 1 (part of REBLS 2020)
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
REBLS 2019 Author 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 2019 Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track
FARM 2019 Author of Mobile Game Programming in Haskell within the FARM 2019-track
Haskell 2019 Committee Member in Program Committee within the Haskell 2019-track
PLMW @ ICFP 2018 Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track
FARM 2018 Committee Member in Program Committee within the FARM 2018-track
Haskell 2018 Author of Rhine: FRP with Type-Level Clocks within the Haskell 2018-track
ICFP 2018 Committee 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 2017 Author of Haskell games and apps for iOS and Android within the CUFP 2017-track
FARM 2017 Session 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 2017 Author of Back to the Future: Time Travel in FRP within the Haskell 2017-track
ICFP 2017 Author of Testing and Debugging Functional Reactive Programming within the Research Papers-track
Haskell 2016 Author of Functional Reactive Programming, Refactored within the Haskell-track