Skip to main content

Sam Speight

Personal photo - Sam Speight

Sam Speight

Doctoral Student

Student, Oriel College

E: samuel."surname"

Room 207, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom


My primary research interest is type theory and its semantics. More generally, I am interested in topics at the meeting of mathematical logic, theoretical computer science and category theory.

For my PhD work, I am trying to build a nominal games model of intensional/homotopy type theory.


I am a DPhil (PhD) Candidate, supervised by Professor Samson Abramsky, in the Department of Computer ScienceUniversity of Oxford. I am a member of Oriel College and I am funded by an EPSRC Doctoral Training Partnership Studentship. 

Before coming to Oxford, I completed a MS in Logic, Computation and Methodology at Carnegie Mellon University, Pittsburgh. My thesis, supervised by Professor Steve Awodey and Doctor Jonas Frey, gave impredicative encodings of inductive types with their full universal properties (eta-rules, dependent eliminators) in intensional dependent type theory, making essential use of identity types.

Prior to this, I obtained an MSci in Physics and Philosophy with First Class Honours from the University of Bristol.

Selected Publications

View AllManage publications