Edinburgh Research Explorer

Prof Don Sannella

PERSONAL CHAIR IN COMPUTER SCIENCE

Profile photo

Phone: +44 131 650 5184

Willingness to take PhD students: Yes

Research outputs

  1. Foundations of Algebraic Specification and Formal Software Development

    Research output: Book/Report › Book

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

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  3. CASL --- the Common Algebraic Specification Language

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

View all (45) »

Research projects

  1. Resource Static Analysis

    Project: Funded Project › Research

  2. MOBIUS: Mobility, Ubiquity and Security

    Project: Funded Project › Research

  3. MOBIUS: Mobility, Ubiquity and Security

    Project: Funded Project › Research

View all (10) »

ID: 11310