Edinburgh Research Explorer

Prof Don Sannella

PERSONAL CHAIR IN COMPUTER SCIENCE

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 proceedingOther chapter contribution

View all (47) »

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 (11) »

ID: 11310