Ben Plummer
About
I am currently a research fellow at the University of Birmingham, working with Sergey Goncharov. I enjoy seeing category theory being applied to various areas of computer science, including automata theory and semantics. My PhD was supervised by Corina Cîrstea at the University of Southampton, in which we explored the relationship between linear-time semantics and two-player games, using the theory of coalgebras.
Prior to embarking on a PhD, I worked as a computer scientist at Netcraft, an internet security company in Bath.
Contact: hello `at` benp `dot` devNews
- (October 2026) Talk "On the Coalgebraic Linear-Time Semantics of Two-Player Games", at the University of Birmingham Theory Seminar. [slides]
- (September 2026) Paper "Positional Properties in Temporal Logic", j.w.w. Jessica Newman, at CONCUR. [paper] [Jess's slides]
- (July 2026) I am starting a postdoctoral position with Sergey Goncharov, at the University of Birmingham.
- (April 2026) Paper "A Coalgebraic Approach to Infinite Games", j.w.w. Corina Cîrstea, at FoSSaCs. [paper] [slides]
- (April 2026) Talk "Infinite Traces in Strategies and Games" at CMCS. [abstract] [slides]
- (June 2025) Paper "Traces via Strategies", j.w.w. Corina Cîrstea, at MFPS. [paper] [slides]
- (Dec 2025) Talk "Traces via Strategies" at BCTCS. [slides]