Chandrakana Nandi

Principal Researcher, Certora Inc.
Joined
August 2024

Names

Chandrakana Nandi (Preferred)

Emails

****@cs.washington.edu (Confirmed)
, 
****@certora.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher
Certora Inc. (certora.com)
2021 – Present
PhD student
Computer Science & Engineering, University of Washington (uw.edu)
2015 – 2021
MS student
Computer Science, EPFL - EPF Lausanne (epfl.ch)
2012 – 2014
Undergrad student
Science, Banaras Hindu University (bhu.ac.in)
2009 – 2012

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

No publications

Co-Authors

No co-authors