Chandrakana Nandi

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor at the University of Washington, Seattle. Her work bridges formal verification, computational fabrication, and programming language design.

• Education: PhD in Computer Science from University of Washington (2021), MS in Computer Science (2014), BS in Computer Science (2012).

Research Interests focus on:

• Automated formal verification of DeFi applications and smart contracts.
• Equality saturation for program synthesis, verification, and compiler optimizations.
• Programming languages and compilers for computational fabrication and 3D modeling.

Publication Trends highlight her contributions to:

• Formal verification tools for real-world programs (WASM, G-code).
• Equality saturation applications in synthesis, optimization, and rule inference.
• Domain-specific languages like LambdaCAD, Taxon, and Carpentry Compiler.

Scientific Awards:

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

Contact: chandra@certora.com. Her CV is available here.