Mark Santolucito is a Computer Science PhD student at Yale University, where he is studying programming languages with Ruzica Piskac. Mark started at Yale under the supervision of Paul Hudak, working on interactive computer music 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. His work also focuses on the learning specifications for complex, real world systems like configuration files and continuous integration. Mark 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.