Mark Santolucito

Mark Santolucito is an Assistant Professor of Computer Science at Barnard College, Columbia University. He holds a PhD in Computer Science from Yale University, where his research focused on program synthesis and computer music. His current work explores program synthesis techniques to enhance programmer productivity, particularly in lowering barriers to entry for underrepresented groups and optimizing workflows for advanced developers. He leads the Barnard PL (Programming Languages) Labs, which develops tools like TSL (Temporal Stream Logic) for synthesizing reactive systems and analyzing infrastructure-as-code (IaC). His research intersects formal methods with creative applications in music and live coding, emphasizing accessibility and usability.

Education: PhD in Computer Science (Yale University), focusing on program synthesis and computer music.

Research interests include program synthesis, temporal logic specifications, infrastructure configuration analysis, and music technology. He emphasizes human-centered design in his work, aiming to make programming more accessible through tools like TSL and interactive synthesis environments. Projects include TSL Move Cube, Block-based Editor for Temporal Logic, and Spiral Analysis for medical software migration.

Notable contributions include developing TSL synthesis pipelines, optimizing Arduino configurations, and exploring static analysis for cost prediction in cloud deployments. His work bridges theoretical foundations with practical applications in both software engineering and creative computing.

Labs/Teams: Leads Barnard PL Labs, collaborating on projects like TSL Synthesis Engine and Static Analysis for IaC. Active in workshops such as SEConfig and FMCAD.