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 the University of Southampton.
Contact:hello@benp.dev