
Bart Westenenk
My name is Bart Westenenk, I am a software engineer currently doing a Master’s degree in Computer Science at the University of Twente. I am currently very interested in formal verification of software. Hoping to do my thesis in this area or close to it. For my work I have been doing full stack web development for the past 4 years.