From 582bb4baf61f0b393abb0ac80b06f99879ec430e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 26 Jan 2018 16:26:59 +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 74c7a9f..7f6bfa8 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](https://cims.nyu.edu/), 
+We are very pleased to have welcomed [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