If AI and high-assurance software communities collaborate, we can protect against many of the worst AI threats and produce formally-safe systems at an unprecedented scale. Come talk to me if you care about this.

The STITCHES systems integration toolchain is one of the most successful DARPA program results of the past decade. STITCHES teams have supported US warfighters by repeatedly delivering order-of-magnitude cost and time savings on some of the DoD’s highest-priority cyber-physical system integrations.My contributions:- Co-led software development and usability of STITCHES, aiding the program's successful transition to a program of record straight out of DARPA.- Developed various software capabilities critical to practical use of STITCHES at scale.- Supported subcontractors and teammates in delivering numerous additional capabilities. Led the full engineering lifecycle: problem identification, design, stakeholder buy-in, implementation, test, documentation, customer support, maintenance, training staff, etc.

Here's to a world where our apps work the way we want them to, always.Designed, built, and maintained core components for direct-manipulation data layout, charting, value rendering, data dependency mapping, and more. Worked closely with design and product teammates on the full loop through concepts, prototypes, user research, polish, and post-launch improvements. Brought an attention to finishing projects and encouraged the company to deeply integrate the product’s building blocks.Supported 2x employee growth and customer growth from 0 to 1000’s daily. Shipped 13 projects in 22 months. Coda is now used by over 1M people including 80+ Fortune 100 companies. Check it out: coda.io

Most people think best with examples. Speaking with examples can make programming easier.Prototyped a new programming language and environment emphasizing example-driven programming, multidimensional representations, and incompleteness tracking. Worked with Alex Warth and other members of the HARC and VPRI communities. Wrote a 20-page essay on this that inspired subsequent projects and papers.

What if our physical objects could change their form like computer screens change pixels? How would we interact with the world?Developed software architecture that couples static objects to dynamic shape displays; built seven demo applications. Built another six applications exploring shape-recording, touch-sensing, force-feedback, and proximity-sensing. Helped develop the research agenda.Rebuilt the entire shape display software stack, making it cross-platform and globally organized. In contrast to the previous code, one of our grad students said, "What I love most is that I can teach this codebase to someone new, and they can go build something with it." I taught the codebase to four TMG grad students and supported them in developing their own applications.Co-author on UIST '15 and CHI '16 papers. Awarded Best Paper Honorable Mention at CHI '16.

Explored visual representations of computer program execution in connection to prototyping domain-specific languages. This work grew out of a python control-flow visualizer I created.

Wrote software to machine learn corrections to DFT band gap predictions. Reduced prediction errors by 20%.

Rebuilt restaurant page, reducing bounce rate by 50%. Developed a group recommendations feature and built a new about page.

Let's help learners find relevant teachings by whoever's teaching it best.Designed and built frontend web software for two products: a knowledge management engine organized by conceptual dependencies and a web media remixer. Took a year off from college to work on this.