Skip to main content

Sam Speight

Personal photo - Sam Speight

Sam Speight

Doctoral Student

Student, Oriel College

E: samuel speight "at" cs ox ac uk (with dots for spaces)

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


My work revolves around mathematical logic and theoretical computer science, my primary interests being in categorical logic and type theory.


I am a DPhil Candidate in Computer Science at Oriel College, Oxford. I am supervised by Professor Samson Abramsky and funded by an EPSRC Doctoral Training Partnership Studentship.

Before coming to Oxford, I spent two years across the Pond, in Pittsburgh, completing an MS in Logic, Computation and Methodology at Carnegie Mellon University. My thesis, supervised by Professor Steve Awodey and Doctor Jonas Frey, involved working in intensional Martin-Löf type theory with an impredicative universe and using ideas from homotopy type theory to refine System F style impredicative encodings of inductive types in order that they satisfy the relevant induction principles.

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

I was born in Hexham, Northumberland, but grew up in the wonderful cathedral city of Lichfield, Staffordshire.

Selected Publications

View AllManage publications