//assets.cakeresume.com/assets/contentarea/contentarea-2d64eca8dae2a1ffb31e0fb1df887bbad072c7c19734d7d30fa14884bbcc299a.css

<html><head></head><body><div class="row snippet-profile-031"><div class="col-sm-4"><img data-no-retina="true" src="https://res.cloudinary.com/cakeresume/image/upload/v1482495476/item_image_42259_item_47270.png" alt="1445595954393.jpg" loading="" style="aspect-ratio: 608 / 340;"></div><div class="col-sm-8"><h1><b>Mark Santolucito </b></h1><p>I am a&nbsp;PhD&nbsp;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.</p><div class="edit line-height-0">
  <div class="social-links">
    <a href="https://twitter.com/" rel="nofollow noopener" target="_blank"><i class="fa"></i></a>&nbsp;&nbsp;&nbsp; <a href="https://www.linkedin.com/in/mark-santolucito-14308721" rel="nofollow noopener" target="_blank"><i class="fa"></i></a>&nbsp; &nbsp;&nbsp;<a href="http://github.com/santolucito/" rel="nofollow noopener" target="_blank"><i class="fa"></i></a>&nbsp;&nbsp;&nbsp;&nbsp;</div>
</div><p><a href="mailto:email@example.com" rel="nofollow noopener" target="_blank"></a></p><div class="edit"><a href="mailto:email@example.com" rel="nofollow noopener" target="_blank">m</a>ark.santolucito@yale.edu</div><div class="edit">marksantolucito.com<br>(413)-570-3116<br>New Haven, CT</div><p></p></div></div><div class="row snippet-experiences-013"><div class="col-xs-12"><div class="row"><div class="col-xs-12"><h1><b>Education</b></h1></div></div><div class="row"><div class="col-xs-2 col-sm-1 item-bullet item-bullet-00"></div><div class="col-xs-10 col-sm-11 item item-00"><h3>Yale University, CS PhD Candidate, Sept 2016 - Present</h3><div>Advisor : Ruzica Piskac<br></div><div><br></div><p>Synthesis of functional reactive programs from linear temporal logic formulas.</p></div></div><div class="row"><div class="col-xs-2 col-sm-1 item-bullet item-bullet-01"></div><div class="col-xs-10 col-sm-11 item item-01"><h3>Yale University, CS MS, Sept 2013 - May 2015</h3><div>Advisor : Paul Hudak†, Ruzica Piskac<br></div><div><br></div><p>Programming by example</p></div></div><div class="row"><div class="col-xs-2 col-sm-1 item-bullet item-bullet-02"></div><div class="col-xs-10 col-sm-11 item item-02"><h3>Amherst&nbsp;College, CS BA, Music BA, Sept 2009 - May 2013<br><i style="color: inherit; font-family: &quot;Gotham SSm A&quot;, &quot;Gotham SSm B&quot;, &quot;Microsoft JhengHei&quot;; font-size: 14px; letter-spacing: 0px;">Cum Laude</i></h3><p>A double major in Computer Science and Music. Award for best senior thesis and award for excellence in music performance. Thesis on compressed caching on-memory.</p></div></div></div></div><div class="row snippet-paragraphs-001"><div class="col-xs-12"><h1><b>Building Bridges</b></h1><p>I specialize in bringing together different goals, research, and people.</p></div></div><div class="row snippet-features-002"><div class="col-sm-12"><div class="row"><div class="col-sm-12"><h1><b>Languages</b></h1></div></div><div class="row"><div class="col-sm-6 item-00"><hr><h1>Haskell</h1><p>I write code in Haskell, a functional language that catches bugs before they happen.</p></div><div class="col-sm-6 item-01"><hr><h1>Korean</h1><p>I speak basic Korean.</p></div></div></div></div><link rel="stylesheet" href="https://cloud.typography.com/7004554/641788/css/fonts.css" type="text/css"></body></html>

Mark Santolucito I am a PhD student in the Dept. of Computer Science at Yale in the C2 (Creative Consilience) program. My advisor is Ruzica Piskac,...

My CakeResume

Mark Santolucito

Mark Santolucito 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. m ark.santolucito@yale.edu marksantolucito.comNew Haven, CT 1 Education Yale University, CS PhD Candidate, SeptPresent Advisor : Ruzica Piskac Synthesis of functional reactive programs from linear temporal logic formulas. Yale University, CS MS, SeptMay 2015 Advisor : Paul Hudak†, Ruzica Piskac Programming by example Amherst College, CS BA, Music BA, SeptMay 2013 Cum Laude A double major in Computer Science and Music. Award for best senior thesis and award for excellence in music performance. Thesis on compressed caching on-memory. Building Bridges I specialize in bringing together different goals, research, and people. Languages Haskell I write code in Haskell, a functional language that catches bugs before they happen. Korean I speak basic Korean.

Mark Santolucito

Education

Yale University, CS PhD Candidate, Sept 2016 - Present

Yale University, CS MS, Sept 2013 - May 2015

Amherst College, CS BA, Music BA, Sept 2009 - May 2013Cum Laude

Building Bridges

Languages

Haskell

Korean

Amherst College, CS BA, Music BA, Sept 2009 - May 2013
Cum Laude