The Separation Logic course is a 4th year MEng and MSc course on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).
The course is led by [Philippa Gardner](/people/gardner.html), with support
from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/),
[Azalea Raad](http://www.soundandcomplete.org/) and [Julian Sutherland](https://psvg.doc.ic.ac.uk/people/sutherland.html).
from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/) and [Julian Sutherland](https://psvg.doc.ic.ac.uk/people/sutherland.html).
#### Description of the Course
...
...
@@ -38,7 +37,7 @@ This work constitutes a breakthrough, in that it is now possible prove propertie
