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