SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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 2020Chair 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)
Show activities from other conferences

Using general profile