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