Philip Armstrong

Mr Philip Armstrong

Research Assistant

philip.armstrong@cs.ox.ac.uk

(+44) 1865 273866

Room 250, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Concurrency tool development

Biography

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.