Picture of Joey Coleman

Dr. Joey W. Coleman

School of Computing Science
Newcastle University
Newcastle Upon Tyne
NE1 7RU
Joey.Coleman <at> ncl.ac.uk
+44 (0)191 222 8168

Bio

I did my undergraduate degree in Applied Computer Science at Ryerson University in Toronto and graduated with honours in 2001. Following that I spent a couple of years “in industry”, first as a systems analyst in Ryerson's network services group, then in the dual role of software engineer and systems administrator at a post-dot.com startup.

The technical problems I encountered at the startup prompted me to start pondering ways of dealing with concurrency; to this end I decided to return to academia (it's hard to think about the problem, per se, when you have a shipping deadline). That led me to Newcastle to do a MPhil (2004).

Towards the end of the MPhil I was offered a position on the EU RODIN project which came with the opportunity to do my PhD in the process. I joined the project, and though I ended up switching projects to the EPSRC “Splitting (Software) Atoms” project, I finished the PhD in 2008.

Currently I am a research associate on the EPSRC “TrAmS” platform grant, working with Cliff Jones.

Selected Publications

A Rely/Guarantee Reasoning Framework using Computational Tree Logic
J. W. Coleman
Computing Science Technical Report Series  CS-TR-1229  (December 2010)
PDF
Extending Computational Tree Logic with Relations and Undefinedness
J. W. Coleman
Computing Science Technical Report Series  CS-TR-1230  (December 2010)
PDF
The Beginnings of a Model for Atomicity Refinement of Expressions
J. W. Coleman
Computing Science Technical Report Series  CS-TR-1147  (March 2009)
PDF
Expression Decomposition in a Rely/Guarantee Context
J. W. Coleman
Proceedings of VSTTE'08  LNCS 5295  146--160  (September 2008)
PDF
A structural proof of the soundness of rely/guarantee rules
J. W. Coleman and C. B. Jones
Journal of Logic and Computation  17  807--841  (August 2007)
PDF

Theses

Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics
J. W. Coleman
PhD Thesis  (January 2008)
PDF
Features of BPEL Modelled via Structural Operational Semantics
J. W. Coleman
MPhil Thesis  (November 2004)
PDF

Past Events