Organisation

University of Edinburgh

University of Edinburgh

Member of the Research Institute in Automated Program Analysis and Verification (RIAPAV).

Research institutes

Is also an Academic Centre of Excellence in Cyber Security Research.

Was this information helpful?

We need your feedback to improve this content.

Yes No