dr. Bas Westerbaan

github
I'm a senior research fellow at the Programming Principles, Logic and Verification group at University College London and cryptographic engineering research fellow at Cloudflare. I've also been interested in applying operator algebras to quantum computing.

Publications