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.
Affiliation: Royal Netherlands Aerospace Center
Personal website: https://dedden.net
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|