Nisarg Patel
CV  •  Résumé  •


I am a second year PhD student working under the supervision of Prof. Thomas Wies at Courant Institute of Mathematical Sciences, New York University. I am broadly interested in applying techniques from Formal Methods to real-world implementations.

Previously, I received my MSc in Computer Science and BSc in Mathematics and Computer Science from Chennai Mathematical Institute. Currently, I am working on verifying real-world concurrent data structures.