
Jamie Vicary
Official Fellow in Computer Sciences
Research
Developing new logical and structural techniques to transform the way we compute in future, including in quantum and classical computation, category theory.
Developing new logical and structural techniques to transform the way we compute in future, including in quantum and classical computation, category theory.