diff --git a/_posts/2017-11-24-siddharth.md b/_posts/2017-11-24-siddharth.md index 74c7a9fdd024170e98b43749bdcf7e03aaa2ea27..7f6bfa80128b1ac7fa35cf869fb0e3c9818478d2 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