Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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

FARM 2019 Mobile Game Programming in Haskell
Haskell 2019 Committee Member in Program Committee within the Haskell 2019-track
HIW 2019 Copilot 3.0: a Haskell runtime verification framework for UAVs
Show activities from other conferences

ICFP 2019-profile
View general profile