Greetings, I am currently a PhD student at the University of Southampton, under the supervision of Corina Cirstea and Pavel Naumov. I like applications of category theory to computer science. More specifically, my PhD is focussed on coalgebraic representations of two-player games. I'm keen to apply coalgebra, or more generally category theory, to areas such as automata theory, programming language theory, game theory, machine learning, and logic.
Before embarking on a PhD, I was a computer scientist at Netcraft in Bath for approximately 2 years, where we used various programming languages and web technologies for internet security. I have a BSc in Computer Science from Southampton University.
I thoroughly enjoy mountaineering and wild camping, and have dabbled in road cycling. I also enjoy ignorantly discussing philosophy, listening to electronic music, and playing chess.
Contact:hello@benp.dev