University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Types, Proofs and Categorical Logic

Supervisor

Suitable for

MSc in Computer Science

Abstract

Dr Ong is willing to supervise projects in this area.