Some minor change.

d0a740f8 · Shale XIONG · cdc0e510 · d0a740f8
Commit d0a740f8 authored 8 years ago by Shale XIONG
--- a/research/separationlogic.md
+++ b/research/separationlogic.md
@@ -7,7 +7,7 @@ menu_order: 5

 ### Separation Logic: Local Reasoning about Programs (404H) 

-This is a 4th year MEng. and Master course on local reasoning about programs that manipulate the heap at Imperial College London.
+This is a 4th year MEng. and Master course on local reasoning about programs that manipulate the heap at [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).

 #### Description of the Course