I am a Senior Researcher at Certora . I recently graduated with a PhD from the PLSE group at the University of Washington, Seattle where I had a wonderful time working with my incredible advisors, Zachary Tatlock and Dan Grossman .
For my PhD, I developed programming languages, correct compilers, and synthesis tools for computational geometry and fabrication. We built LambdaCAD , a functional programming language for 3D modeling that supports 3D primitives, affine operations, and boolean operators to compose designs. The LambdaCAD compiler generates a triangle mesh from a LambdaCAD program. Using our compiler infrastructure and 3D geometry kernel, we built a decompiler, called Reincarnate , that uses evaluation context to synthesize L
Publications POPL 2023 babble: Learning Better Abstractions with E-Graphs and Anti-Unification. David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova pdf ACM TOG, 2022 Co-Optimization of Design and Fabrication Plans for Carpentry. Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz pdf PhD thesis, August 2021 Programming Language Tools and Techniques for Computational Fabrication. Chandrakana Nandi. pdf SFF 2021 A Roadmap
UW PLSE
Zachary Tatlock
mwillsey
Cynthia Richey
Vishal Canumalla | Vishal Canumalla’s website.
UW PLSE
Yannick Forster
Machine Agency