Registered user since Tue 13 Aug 2019
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.
|HIW 2019||Copilot 3.0: a Haskell runtime verification framework for UAVs|
|Show activities from other conferences|
View general profile