I'm currently working at inovex as a systems engineer. In 2019, I've completed my Master's degree in Parallel and Distributed Computer Systems at the Vrije Universiteit. My master project is on formal verification of step-wise refinment of GPU programs and is available here. My Bachelor's degree is in Applied Computer Science. I'm a container and Kubernetes enthusiast. You can find some of my container images here.