Edinburgh Research Explorer

Prof Don Sannella


Profile photo

Willingness to take Ph.D. students: Yes

Research outputs

  1. Property-oriented semantics of structured specifications

    Research output: Contribution to journalArticle

  2. Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (48) »

Research activities & awards

  1. Fellow of the Royal Society of Edinburgh

    Activity: Awards and AccoladesElection to learned society

View all (1) »

Research projects

  1. App Guarden: Resilient Application Stores

    Project: Funded ProjectResearch

  2. Resource Static Analysis

    Project: Funded ProjectResearch

  3. MOBIUS: Mobility, Ubiquity and Security

    Project: Funded ProjectResearch

View all (12) »

ID: 11310