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 2019 Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track