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