InterestsConcurrency tool development
After completing my MSc in Computation at the Computing Laboratory (now Department of Computer Science), I went to work for Formal Systems (Europe) Ltd. for a number of years. I've now returned to the department to work on the implementation of new concurrency research ideas, primarly within the FDR2 framework.
FDR3 — A Modern Refinement Checker for CSP
Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe
In Tools and Algorithms for the Construction and Analysis of Systems. Pages 187−201. 2014.
Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)
Shamal Faily‚ David Power‚ Philip Armstrong and Ivan Flechais
In Trust and Trustworthy Computing‚ 6th International Conference‚ TRUST 2013. 2013.