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 develop program synthesis and analysis techniques to provide programmers new ways to interface with code.
I care about developing theory, tools, and techniques that enable programmers to make the change they want to see in the world. To this end, I largely work in program synthesis, as a way to help users explore and understand code. In some cases, the aim is to lower the barrier to entry to computer science, and make programming more accessible across more applications domains. This can also take the form of optimizing workflows for advanced developers, helping with DevOps issues, such as configuration, deployment, and infrastructure management. I am particularly interested in the domain of computer music as a frontier to explore new interaction modalities in the programming process. If you are interested in getting involved in this research, especially if you are an undergrad, please reach out - there is always room for you. Contact at msantolu *at* barnard.edu.
See current projects on the lab website