title:Visitor to the group, Siddharth Krishna, New York University, USA
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.
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
Siddharth is a PhD student in the Computer Science Department of New York University, working on Formal Verification and Machine Learning under the supervision
