Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Mark Santolucito

Registered user since Thu 13 Apr 2017

Name: Mark Santolucito

Bio: 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.

Country: United States

Affiliation: Yale University

Personal website: http://www.marksantolucito.com

Research interests: Program Synthesis

Contributions

ML4PL 2018Committee Member in Program Committee within the ML4PL-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile