From bd0f7e060a017066ec7a26f3a4aee1095f5e0259 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 14:52:20 +0000
Subject: [PATCH] Update InferLab.md

---
 teaching/InferLab.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index ec2db66..b563f7c 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -11,7 +11,7 @@ developed by a team led by Peter O’Hearn. At Facebook, Infer is used every day
 This was part of the Separation Logic MEng and MSc course (404H).
 
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
-Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer. 
+Engineering Manager at Facebook, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer, gave a tutorial on how to use Infer. 
 The tutorial targeted real world Android applications, such as:
 
  - [PocketHub](https://github.com/pockethub/PocketHub)
-- 
GitLab