Ivan Perez - ICFP 2019

Sun 18 - Fri 23 August 2019 Berlin, Germany

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