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 developmentBiography
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
Selected Publications
| 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. To Appear |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
|
|
Completed Projects |