chandrakana nandi

My name is Chandrakana Nandi.

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.


I am working on using programming language tools and techniques for making desktop class 3D printing more accessible to end users. During summer 2016, I interned in the RiSE group at Microsoft Research where I work on probabilistic programming. I have also worked with Michael Ernst on ensuring the correctness and security of home automation systems by verifying end-user written rules using static analysis.




Peer reviewed conferences and workshops

  • Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley. Debugging Probabilistic Programs. MAPL 2017. pdf
  • Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock. Programming Language Tools and Techniques for 3D Printing. SNAPL 2017. pdf
  • Chandrakana Nandi, Michael D. Ernst. Automatic Trigger Generation for Rule-based Smart Homes. PLAS 2016. pdf
  • Chandrakana Nandi. Automatic Trigger Generation for End User Written Rules for Home Automation. FSE 2016 SRC. pdf
  • Chandrakana Nandi. Correctness and Security for Home Automation. POPL 2016 SRC. poster pdf
  • Chandrakana Nandi, Aurelien Monot, Manuel Oriol. Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CBSE 2015. pdf
  • Theses and technical reports

  • Chandrakana Nandi. Contracts for Real-Time, Safety Critical Systems, Masters Thesis, EPFL, August 2014. pdf
  • Chandrakana Nandi. Social Network based Analysis of Behavior, Bachelors Thesis, BHU, April 2012. pdf
  • Contact me

    The best way to reach me is by email:

    My postal address is:
    Computer Science & Engineering,
    University of Washington
    AC101 Paul G. Allen Center for Computer Science & Engineering, Box 352350,
    185 Stevens Way
    Seattle WA 98195-2350