Edinburgh Research Explorer

Prof Don Sannella

PERSONAL CHAIR IN COMPUTER SCIENCE

  1. Project: Funded ProjectResearch

  2. Resource Static Analysis

    Aspinall, D. & Sannella, D.

    1/03/0930/09/10

    £126,570, EPSRC

    Project: Funded ProjectResearch

  3. MOBIUS: Mobility, Ubiquity and Security

    Stark, I., Aspinall, D. & Sannella, D.

    1/09/0531/08/09

    £14,287, EU government bodies

    Project: Funded ProjectResearch

  4. MOBIUS: Mobility, Ubiquity and Security

    Stark, I., Aspinall, D. & Sannella, D.

    1/09/0531/08/09

    £393,801, EU government bodies

    Project: Funded ProjectResearch

  5. MOBIUS: Mobility, Ubiquity and Security

    Stark, I., Aspinall, D. & Sannella, D.

    1/09/0531/08/09

    £35,117, EU government bodies

    Project: Funded ProjectResearch

  6. Project: Funded ProjectResearch

  7. Specifying and verifying mobile code in the CASL specification framework

    Sannella, D.

    1/04/0231/03/03

    £4,635, UK central government bodies/local authorities, health and hospital authorities

    Project: Funded ProjectResearch

  8. MRG-Mobile Resources Guarantees

    Sannella, D.

    1/01/0231/12/04

    £444,732, EU government bodies

    Project: Funded ProjectResearch

  9. Project: Funded ProjectResearch

  10. Common Framework Initiative Working Group

    Sannella, D.

    1/11/9831/10/00

    £78,667, EU government bodies

    Project: Funded ProjectResearch

Previous 1 2 Next