Graduate Student, Department of Computer Science
About
I am a (first year) PhD student in Computer Science at the University of Bath, UK; studying in the Mathematical Foundations group. My supervisors are Guy McCusker and Jim Laird, and I am working in game semantics and related areas.
Game semantics is an approach to the mathematical modelling of programming languages which has seen considerable success in the last 15 years. Using game semantics, it has been possible to give models of sequential languages which are fully abstract (a term which means the model is as accurate as possible) and in some cases to establish decidability and complexity results for the problem of determining equivalence of programs.
Some provisional ideas about what I might be doing are as follows: "This project will develop the theory of game semantics, and related ones such as normal-form bisimulation. Consideration will be given both to the correspondence between games models and the labelled transition systems recently developed by Lassen, Laird and Levy, and to the logical analysis of programs afforded by game semantics and in particular Laird's notion of sequoidal category."
Previously I have studied an MSc in Mathematics and the Foundations of Computer Science at the University of Oxford; where my dissertation was in providing Categorical Semantics for a Quantum Programming Language.
Contact Information
Gtalk/jabber : mdchurchill at gmail dot com
