Chandrakana Nandi

Chandrakana Nandi has held a variety of roles in the technology field. In 2010, they worked as a Summer Research Intern at EPFL (École polytechnique fédérale de Lausanne). In 2013, they worked as a Research Student and Software Systems intern at ABB. In 2014, they worked as a Research Assistant at ETH Zurich. From 2015 to 2021, they worked as a Computer Science and Engineering Graduate student at the University of Washington. Currently, they are a Senior Researcher at Certora.

Chandrakana Nandi received a Bachelor's Degree in Mathematical Statistics and Probability from Banaras Hindu University in 2012. Chandrakana then went on to pursue a Master's degree in Computer Science from EPFL (\u00c9cole polytechnique f\u00e9d\u00e9rale de Lausanne) from 2012 to 2014. Finally, they completed their Doctor of Philosophy (Ph.D.) in Computer Science and Engineering from the University of Washington in 2021.