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.