Profile Picture

Ben Plummer

About

I am currently pursuing a PhD at the University of Southampton, under the supervision of Corina Cirstea and Pavel Naumov. I enjoy seeing category theory being applied to various areas of computer science, including automata theory, programming language theory, game theory, machine learning, and logic. My current research focuses on the theoretical foundations of program verification and synthesis, specifically exploring coalgebraic representations of two-player games.

Prior to embarking on a PhD, I worked as a computer scientist at Netcraft, an internet security company in Bath, for approximately two years. 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 listening to electronic music and jazz, and playing chess.

Contact: hello@benp.dev

News