From 2db9819acbc93cef56d12b691402c92b47fcd02e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 24 Nov 2017 12:15:00 +0000
Subject: [PATCH] Update 2017-11-24-siddharth.md

---
 _posts/2017-11-24-siddharth.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2017-11-24-siddharth.md b/_posts/2017-11-24-siddharth.md
index e966264..bc66431 100644
--- a/_posts/2017-11-24-siddharth.md
+++ b/_posts/2017-11-24-siddharth.md
@@ -1,7 +1,7 @@
 ---
 title: Visitor to the group, Siddharth Krishna, New York University, USA
 ---
-We are very pleased to have welcome [Siddharth Krishna](https://cs.nyu.edu/~siddharth/), from the Courant Institute of Mathematical Sciences, NYU, 
+We are very pleased to have welcome [Siddharth Krishna](https://cs.nyu.edu/~siddharth/), from the [Courant Institute of Mathematical Sciences, NYU](https://cims.nyu.edu/), 
 who visited the group this week to talk about his work on the verification of concurrent data structures.
 
 Siddharth is a PhD student in the Computer Science Department of New York University, working on Formal Verification and Machine Learning under the supervision 
-- 
GitLab