Concurrency tool development
After completing my MSc in Computation at the Computing Laboratory, I went to work for Formal Systems (Europe) Ltd. for a number of years. I've now returned to the Lab to work on the implementation of new concurrency research ideas, primarly within the FDR2 framework.
