University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Philip Armstrong

Personal photo - 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.

Links

Academic FDR2 release

Info

Themes

Activities

Completed Projects

Manage publications