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

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

ICFP 2019-profile
View general profile