skip to content

Department of Computer Science and Technology

  • Doctoral Student

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 (CPGS), Unversity of Cambridge, October 2021--Present

Research

Category Theory

Type Theory

Teaching

Part IB Semantics of Programming Languages

Part IB Computation Theory

Part IB Complexity Theory

Part II Types

Part II Denotational Semantics

Professional Activities

Undergraduate Admissions Interviews, December 2021

Contact Details

Room: 
FE13
Office phone: 
(01223) 7-63537
Email: 

dgb37@cam.ac.uk