Chandrakana Nandi (Preferred)
Chandrakana Nandi
Principal Researcher, Certora Inc.
- Joined August 2024
Names
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