URL details: cnandi.net
URL title:
Chandrakana Nandi
URL paragraphs:
I am a Senior Researcher at Certora . I recently graduated with a PhD from the PLSE group at the University of Washington, Seattle where I had a wonderful time working with my incredible advisors, Zachary Tatlock and Dan Grossman . For my PhD, I developed
URL last crawled:
2023-01-10
URL speed:
43.400 MB/s,
downloaded in 0.001 seconds
We found no external links pointing to this url.