Sean Moss


I am a Senior Research Associate at the Department of Computer Science, University of Oxford, working with Sam Staton. From October 2017 to September 2021 I was a Junior Research Fellow in Computer Science at University College, Oxford. Previously I was a PhD student of Martin Hyland at the University of Cambridge.


My mathematical and computer science interests include:

I also work with Philipp Koralus at the Faculty of Philosophy on a content-based theory of human cognitive capacity for reasoning and decision-making. The idea is to make precise the hypothesis that resolving questions is central to how the mind works. A book is forthcoming.

In March 2022 I gave a talk at the online Workshop on Polynomial Functors.



The Dialectica Models of Type Theory. University of Cambridge. doi:10.17863/CAM.28036.