About(me)
My research is at the intersection of program synthesis and AI, building tools and techniques that help people write, understand, and reason about computational artifacts. My work has appeared in venues like AAAI, NeurIPS, CAV, PLDI, and OOPSLA, and has been supported by the NSF, Amazon Web Services, the Fulbright Program, and the Helmholtz Association. I am also affiliate faculty at the Columbia Computer Music Center.
I also worked at AWS, was an early employee at Ndea, a frontier AI lab founded by François Chollet, and worked as a research consultant at CaptureAge, a game development company supporting Age of Empires 2 (1999).
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
