I’m currently studying Parallel and Distributed Computer Systems for my Master’s at the Vrije Universiteit. My master project is on formal verification of step-wise refinment of GPU programs and will be 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.