Search for tag: "specs"

Climate Crisis Event

Climate Crisis Panel Event

From  Alison Newell A week ago 0 likes 3 views 0  

Separation Logic

Advances in Programming Languages 2018/19 Lecture 14: Separation Logic Hoare Logic is a language for making and proving assertions about the behaviour of code: the extension to Separation Logic…

From  Ian Stark 3 Weeks ago 0 likes 0 views 0  

MSc in History (Online Learning) graduating students

On the day of their graduation, our students reminisce about their experiences of the programme.

From  Ian Chard 2 Months ago 0 likes 41 views 0  

How are you enjoying your graduation day? Online learners at Winter Graduation, November 2018

Some of this year's online degree graduates reflect on attending Edinburgh in person for their graduation ceremony. For many this is their first trip to Edinburgh, although they have of course…

From  Lauren Johnston-Smith 3 Months ago 1 likes 127 views 0  

Online degree students at Graduation, November 2018

There's no need to come to Edinburgh when you're an online student, but many online students choose to attend their graduation ceremony and take a short break in Scotland's capital…

From  Lauren Johnston-Smith 3 Months ago 0 likes 78 views 0  

Practical Tools for Java Correctness

Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness Today’s lecture presented two different facilities designed to help write Java code that does the…

From  Ian Stark 4 Months ago 0 likes 8 views 0  

Specification and Verification

Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today's lecture was the first in a block on language techniques and tools that aim to improve program…

From  Ian Stark 4 Months ago 0 likes 9 views 0  

One Health online masters: Kelvin Momanyi - graduate testimonial

A masters degree in One Health helped Kelvin get the job he wanted, opening up opportunities for him in his career. Join our online community:…

From  Lauren Johnston-Smith 5 Months ago 0 likes 57 views 0  

Conservation Medicine online masters: Caroline Asiimwe - graduate testimonial

Caroline is able to implement what she learnt during her online Masters in her daily work at Budongo Conservation Field Centre in Uganda. Join our online community:…

From  Lauren Johnston-Smith 5 Months ago 0 likes 21 views 0