Sunday, August 15, 2021

Robert Rand

I'm currently interested in verified optimization, error-correction, type systems and programming abstractions for quantum computing. I'm working on a ...