Scholar
Theo Wang
Google Scholar ID: y22Y89YAAAAJ
Research assistant at the Department of Computer Science and Technology, University of Cambridge
Citations & Impact
Citations
0
H-index
0
i10-index
0
Publications
1
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Paper titled 'Complete Quantum Relational Hoare Logics from Optimal Transport Duality' accepted at LICS 2025; Attended the ACM symposium on computer science and law (CS&Law) 2025; Will attend PLanQC and POPL 2025.
Research Experience
- Research assistant at the University of Edinburgh, supervised by Ohad Kammar; Research assistant at the University of Cambridge, supervised by Jeremy Yallop; Research intern at the Max Planck Institute for Security and Privacy, supervised by Gilles Barthe; Attended PLDI 2024 with funding from the PLMW scholarship; Volunteer at ACT/MFPS 2024 in Oxford.
Education
- DPhil (PhD) student in Computer Science at the University of Oxford, supervised by Sam Staton; Undergraduate student in Computer Science at the University of Cambridge, thesis supervised by Jeremy Yallop and Alan Mycroft; MSc student in Advanced Computer Science at the University of Oxford, thesis supervised by Sam Staton.
Background
- A theoretical computer scientist with interests spanning category theory, programming language theory, verification, probabilistic programming, and quantum computing. Also maintains side interests in mechanistic interpretability, as well as connections between law and computer science.
Co-authors