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.
The best way to reach me is by email: email@example.com
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