Skip to main content

Philip Armstrong

Personal photo - Philip Armstrong

Mr Philip Armstrong

Research Assistant

Leaving date: 8th July 2014

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.

See also

Selected Publications

View AllManage publications

Activities