I am a graduate student in the PLSE group in Computer Science and Engineering at University of Washington, Seattle. I am advised by Dan Grossman and Zachary Tatlock.
My current research is on developing and applying
programming language techniques
to build synthesis tools and fast compilers for computational geometry
Check out our tools, papers, talks and more here.
Fast and Extensible Equality Saturation.
Max Willsey, Chandrakana Nandi, Remy Wang, Oliver Flatt, Pavel Panchekha, Zachary Tatlock.
to appear github website
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations.
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock.
pdf github website
Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeff Lipton, Zachary Tatlock, Adriana Schulz.
pdf website UW news Daily of UW Tech Crunch
Functional Programming for Compiling and
Decompiling Computer-Aided Design.
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock.
pdf github website
Programming Language Tools and Techniques for 3D Printing.
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock.
Debugging Probabilistic Programs.
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley.
Automatic Trigger Generation for Rule-based Smart Homes.
Chandrakana Nandi, Michael D. Ernst.
|FSE SRC 2016||
Automatic Trigger Generation for End User Written Rules for Home Automation.
|POPL SRC 2016||
Correctness and Security for Home Automation.
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.
Chandrakana Nandi, Aurelien Monot, Manuel Oriol.
|MS thesis, August 2014||
Contracts for Real-Time, Safety Critical Systems.
|BS thesis, April 2012||
Social Network based Analysis of Behavior.
We have a fantastic running club as part of which we run all over Seattle. We also take part in numerous marathons, half-marathons and relay races!
My mom has a cool recipe blog that I help maintain. Feel free to check it out. She regularly adds delicious recipes!
The best way to reach me is by email: firstname.lastname@example.org
My postal address is:
Paul G. Allen School of Computer Science & Engineering
University of Washington
AC101 Paul G. Allen Center, Box 352350
185 Stevens Way
Seattle, WA 98195-2350