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
|ICFP 2020||Committee Member in External Review Committee within the Research Papers-track|
|Show activities from other conferences|