Incarnate

PL Tools and Techniques for 3D Printing

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

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