Incarnate

Our research aims at improving desktop-class manufacturing processes such as 3D-printing, with the goal to make these process more accurate, fast, reliable, and accessible to end-users. We focus on three major areas where 3D-printing can benefit from programming language tools: design synthesis, optimizing compilation, and runtime monitoring.

Publications

• Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock. Programming Language Tools and Techniques for 3D Printing. SNAPL 2017.

The Incarnate team

The incarnate developers can be reached via email.

1. Chandrakana Nandi
2. James R. Wilcox
3. Zachary Tatlock
4. Dan Grossman
5. Anat Caspi
6. Taylor Blau

Past members

1. Melissa Galloway
2. Seth Pendergrass