# dr. Bas Westerbaan

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