Khang Lee

Taxon: a Language for Formal Reasoning with Digital Fabrication Machines

Digital fabrication machines for makers have expanded access to manufacturing processes such as 3D printing, laser cutting, and milling. While digital models encode the data necessary for a ma- chine to manufacture an object, understanding the trade-offs and limitations of the machines themselves is crucial for succes…