David Berry BA (Hons) (Cantab), MSc (Oxon)

Biography

Computer Science Tripos (BA), Churchill College, University of Cambridge, October 2017--June 2020

Mathematics and Foundations of Computer Science (MSc), University of Oxford, October 2020--September 2021

Computer Science (PhD), University of Cambridge, October 2021--Present

Category Theory

Type Theory

Part III/MPhil ACS Advanced Topics in Category Theory

Part IA Foundations of Computer Science

Part IB Semantics of Programming Languages

Part IB Computation Theory

Part IB Prolog

Part IB Complexity Theory

Part II Types

Part II Denotational Semantics

Undergraduate Admissions Interviews, December 2021, 2022, 2023, & 2024.