Chandrakana Nandi
Senior Researcher at Certora
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolChandrakana Nandi is a Senior Researcher based in Seattle with a decade of experience at the intersection of formal methods, concurrency, and real-time systems. Currently at Certora, she applies rigorous software verification techniques to improve the correctness of complex systems, building on a Ph.D. in Computer Science and Engineering from the University of Washington and a Master's from EPFL. Her background includes research roles at ETH Zurich and industry internships at ABB, where she worked on contracts for real-time systems and temporal specifications using stochastic theories—an unusual blend of theoretical depth and practical engineering. Early work on biomechanical simulation at EPFL hints at a propensity for cross-disciplinary problem solving and quantitative modeling. Colleagues know her for translating formal research into tangible tooling and for tackling hard verification problems that bridge academia and industry.
10 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science and Engineering, Doctor of Philosophy (Ph.D.) Computer Science and Engineering at University of WashingtonBachelor's Degree Mathematical Statistics and Probability, Bachelor's Degree Mathematical Statistics and Probability at Banaras Hindu UniversityMaster's degree Computer Science, Master's degree Computer Science at EPFL
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (61)
foundry10
tooling10
tlaplus10
tla10
solidity10
rewrite10
testing10
race-condition10
condition10
solc10
sat-solver10
interval-arithmetic10
derivative10
ethereum10
blockchain10
Programming languages (9)
Github contributions (5)
uwplse/reincarnate-aec
May 2018 - Apr 2020
Contributions:1 release, 48 commits, 6 pushes in 1 year 10 months
Certora/gambit
Nov 2022 - Mar 2023
Using mutations to improve specs and test suites
Contributions:10 releases, 45 reviews, 138 commits in 4 months
mutationssuitesrubyspecs
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.