I am an Assistant Professor of Computer Science at Barnard College, Columbia University. I received my PhD in Computer Science working on Program Synthesis and Computer Music at Yale. I use program synthesis and formal methods to make AI systems more structured, interpretable, and human.