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
