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