Theo Wang -

Registered user since Thu 18 Jan 2024

Name:Theo Wang

Country:United Kingdom

Affiliation:University of Cambridge, University of Oxford

Personal website: https://theo.wang

Research interests:Programming Languages, Verification, Category Theory, Quantum Computing

Contributions

2025

PLanQC

Author of Algebraic and denotational semantics for Classically Controlled Quantum Communication within the PLanQC 2025-track

2024

POPL

Author of Exploring the limitations of Contextual Modal Type Theory for Multi-Stage Programming within the Student Research Competition-track