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 2020 Chair in Program Committee within the REBLS 2020-track
Welcome to REBLS
Session Chair of Welcome to REBLS & Keynote (part of REBLS 2020)
Session Chair of Session 4 (part of REBLS 2020)
Closing remarks
Session Chair of Session 1 (part of REBLS 2020)
Show activities from other conferences

SPLASH 2020-profile
View general profile