Ivan Perez

Registered user since Fri 19 May 2017

Name:Ivan Perez
Bio:

Sr. Research Scientist @ KBR / NASA Ames Research Center

Past: IMDEA Software, Keera Studios, HLRS Stuttgart, University of Nottingham, University of Twente, Polytecnic University of Madrid (UPM).

Affiliation:NASA Ames Research Center
Personal website:https://ivanperez.io
Research interests:Formal Methods, Space, Aerospace

Contributions

FUNARCH 2023 Committee Member in Program Committee within the FUNARCH 2023-track
NASA Formal Methods Committee Member in Program Committee within the NFM 2023-track
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
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
HIW 2019 Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-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
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
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