Registered user since Tue 13 Aug 2019

Name:Frank Dedden

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.

Affiliation:Royal Netherlands Aerospace Center
Personal website:
Research interests:Programming languages, Functional programming, Embedded systems


HIW 2019 Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track