From 73bee9ea3fc792a81764971624fb016ce69e5c42 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 30 Nov 2016 10:34:50 +0000
Subject: [PATCH] Update InferLab.md

---
 teaching/InferLab.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index ee7ff02..db5afdf 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -8,8 +8,9 @@ menu_order: 5
 
 The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course is a 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, with support from Jose Fragoso, Daiva Naudžiūnienė, 
-Azalea Raad and Julian Sutherland.
+[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).
 
 As part of the course, [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/) 
 and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/) from Facebook came to Imperial College to talk about [Infer](http://fbinfer.com/), 
-- 
GitLab