Sean Moss


<sean.moss@univ.ox.ac.uk>

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.


Research

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.

Publications

Thesis

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

Teaching