Chandrakana Nandi

Chandrakana Nandi is the Director of US R&D at Certora and an Affiliate Assistant Professor at the University of Washington (UW), Seattle. She earned her PhD from the UW PLSE group under advisors Zachary Tatlock and Dan Grossman.

Education & Affiliation

• PhD in Computer Science (2021) from University of Washington
• MS in Computer Science (2014) from Georgia Institute of Technology
• BS in Computer Science (2012) from Georgia Institute of Technology

Research Interests

Her work focuses on automated formal verification for real-world programs, particularly DeFi applications. She develops verification tools for languages like WASM and uses mutation testing to simplify specification writing. She pioneered equality saturation applications in synthesis, verification, and optimization through projects like egg and Ruler. Her computational fabrication research includes LambdaCAD and Reincarnate.

Publications & Awards

• Distinguished Paper Award (OOPSLA 2021)
• Distinguished Paper Award and Sigplan Research Highlight (POPL 2021)

Community Involvement

She chairs sessions at PLDI and OOPSLA, co-organizes EGRAPHS workshops, and contributes to the egg open-source library. Her NSF grants (#1813166, #1644558) and Adobe Research Fellowship support her work.

Contact

Email: chandra@certora.com