I am a PhD student in the Dept. of Computer Science at Yale in the C2 (Creative Consilience) program. My advisor is Ruzica Piskac, and my research focus is Program Synthesis and Computer Music.
Mark Santolucito is a Computer Science PhD student at Yale University, where he is studying programming languages with Ruzica Piskac. Mark worked under the supervision of Paul Hudak on interactive computer music in and Functional Reactive Programming (FRP). Mark is now working with Ruzica Piskac on various forms of program synthesis. Recently, his work has focused on synthesis of FRP programs from logical specifications that describe saftey and security properties. Mark also graduated Cum Laude from Amherst College with a BA in both Computer Science and Music, where he was awarded the Best Computer Science Thesis Award in addition to the Lerner Piano Prize upon graduation. Contact me at mark.santolucito *at* yale.edu.