Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Tue 13 Aug 2019

Name: Frank Dedden

Bio: Computing scientist graduated at Utrecht University, specialising in programming languages, compilers and formal methods. Previous work experience include working at the National Institute of Aerospace and NASA Langley Research Center.

Country: Netherlands

Affiliation: Royal Netherlands Aerospace Center

Personal website: https://dedden.net

Research interests: Programming languages, Functional programming, Embedded systems

Contributions

HIW 2019Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track
Show activities from other conferences

ICFP 2019-profile
View general profile