I am a graduate student in the PLSE group in Computer Science and Engineering at University of Washington, Seattle. I work with Dan Grossman and Zachary Tatlock.
My currect research project is on using programming language tools and techniques for making desktop class 3D printing more accessible to end users. Check out our project website here.
|Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeff Lipton, Zachary Tatlock, Adriana Schulz. Carpentry Compiler. pdf website news||ICFP 2018||Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock. Functional Programming for Compiling and Decompiling Computer-Aided Design. pdf website talk video|
|SNAPL 2017||Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock. Programming Language Tools and Techniques for 3D Printing. pdf website|
|MAPL 2017||Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley. Debugging Probabilistic Programs. pdf|
|PLAS 2016||Chandrakana Nandi, Michael D. Ernst. Automatic Trigger Generation for Rule-based Smart Homes. pdf|
|FSE SRC 2016||Chandrakana Nandi. Automatic Trigger Generation for End User Written Rules for Home Automation. pdf|
|POPL SRC 2016||Chandrakana Nandi. Correctness and Security for Home Automation. SRC. poster pdf|
|CBSE 2015||Chandrakana Nandi, Aurelien Monot, Manuel Oriol. Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. pdf|
|MS thesis, August 2014||Chandrakana Nandi. Contracts for Real-Time, Safety Critical Systems. pdf|
|BS thesis, April 2012||Chandrakana Nandi. Social Network based Analysis of Behavior. pdf|
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!
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