Talks

Deconstruct 2017: Programming Languages as Notations

Programming Languages as Notations at Deconstruct 2017.

PyCon 2016: Oneliner-izer

Oneliner-izer: An Exercise in Constrained Coding at PyCon 2016.

Static Analysis in Systems Biology 2017

Presenting the paper A Tool for Automated Inference of Executable Rule-Based Biological Models by Voss, Yang, and Fontana. Given at the Eighth International Workshop on Static Analysis for Systems Biology, a colocated workshop of Static Analysis Symposium 2017.

Papers We Love Boston 2017: Four Papers in DNA Computing

Four Papers in DNA Computing, for Papers We Love Boston.

• Leonard Adleman, Computing with DNA.

• Faulhammer et al., Molecular computation: RNA solutions to chess problems.

• Qian and Winfree, Strand displacement circuits.

• Rothemund, Winfree, and Papadakis, Algorithmic Self-Assembly of DNA Sierpinski Triangles.