Mark Santolucito

Assistant Professor of Computer Science, Barnard College, Columbia University

Portrait of Mark Santolucito
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.
For publications, teaching, and current work, see my primary site: marksantolucito.com

← FoRG — Formal Methods and Reasoning Group