-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
10 lines (10 loc) · 4.82 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
<!DOCTYPE html><html lang="en"><head><title>Harrison Goldstein</title><link rel="stylesheet" href="css/main.css"><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1"></head><body><section class="page"><header class="pageheader"><section><h1>Harrison Goldstein</h1><section class="addrs"><address class="phone"><a href="tel:+1-732-977-7316">(732) 977-7316</a></address><address class="email"><a href="mailto:[email protected]">[email protected]</a></address><address class="website"><a href="https://harrisongoldste.in">harrisongoldste.in</a></address><address class="github"><a href="https://twitter.com/hgoldstein95/">@hgoldstein95</a></address></section></section><section class="mailing addrs"><h3>MAILING ADDRESS</h3><address>4730 Pine St, Apt C1, Box 13</address><address>Philadelphia, PA 19143</address></section></header><ul class="minor notes"><li class="nested"><h1>Education</h1><ul><li><h2>University of Pennsylvania</h2><ul class="info"><li>Fall 2019 - Present</li></ul><p>Pursuing Ph.D. in Computer Science</p></li><li class="space-above"><h2>Cornell University</h2><ul class="info"><li>Fall 2014 - Spring 2018</li></ul><p>B.S. in Computer Science (GPA 4.08)<br>M.Eng. in Computer Science (GPA 4.02)</p></li></ul></li><li><h1>Activities</h1><ul><li>POPL 2021 Social Chair</li><li>ICFP 2020 AV Coordinator</li><li>Editor of Penn's PLClub Blog</li></ul></li><li><h1>Research Interests</h1><ul><li>Property-Based Testing</li><li>Type Systems</li><li>Domain Specific Languages</li></ul></li><li> <h1>Skills and Competencies</h1><ul><li>Research Writing and Communication</li><li>Programming in all Major Paradigms</li><li>Leadership and Public Speaking</li></ul></li><li class="nested"><h1>Honors and Awards</h1><ul><li><h2>Certification in Engineering Leadership</h2><ul class="info no-bg"><li>Fall 2015</li><li>Engineering Leadership Program</li></ul></li><li><h2>First Place, Business Plan Competition</h2><ul class="info no-bg"><li>Spring 2016</li><li>School of Hotel Administration</li></ul></li><li><h2>Eagle Scout</h2><ul class="info no-bg"><li>Boy Scouts of America</li></ul></li></ul></li></ul><ul class="major notes"><li class="nested projects-section"><h1>Publications</h1><p id="publication_list"><i class="paper-title">Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing</i><br><span class="paper-authors">Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce</span><br><span class="paper-conference">ESOP 2021</span><br><i class="paper-title">Programming Language Support for Natural Language Interaction</i><br><span class="paper-authors">Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk,
Adrian Sampson</span><br><span class="paper-conference">SysML 2018</span></p></li><li class="nested"><h1>Work Experience</h1><ul><li> <h2>Research Intern</h2><ul class="info"><li>Summer 2020</li><li><a href="https://aws.amazon.com/identity/">AWS Automated Reasoning Group</a></li></ul><ul id="content_list"><li>Expanded and formalized a model of AWS access policies that captured
the full complexity of the authorization system.</li><li>Explored an embedding of the model into SMT, to be used in the Zelkova
tool.</li></ul></li><li><h2>Software Engineer</h2><ul class="info"><li>Summer 2017, July 2018 - August 2019</li><li><a href="https://www.broadwaytechnology.com/">Broadway Technology</a></li></ul><ul id="content_list"><li>Collaborated with individuals throughout the organization on
tools that streamlined and improved Broadway's operations.</li><li>Took the lead on a number of projects; this entailed working
as an internal consultant, a project manager, and a
developer.</li></ul></li><li><h2>Technology Intern</h2><ul class="info"><li>Summer 2016</li><li><a href="https://www.sig.com">Susquehanna International Group, LLP</a></li></ul></li><li><h2>Chief Technology Officer</h2><ul class="info"><li>Fall 2015, Spring 2016</li><li>Last Second Beach, LLC</li></ul></li></ul></li><li class="nested projects-section"><h1>Projects</h1><ul><li><h2>Opal</h2><ul class="info"><li>Spring 2017 - Spring 2018</li></ul><ul id="content_list"><li>Worked with Adrian Sampson and others at Cornell to design a
new programming language, Opal.</li><li>Opal provides novel abstractions for machine learning tasks.</li></ul></li><li><h2>Tourist</h2><ul class="info"><li>October 2018 - Present</li><li><a href="https://github.com/tourist-doc/tourist">github.com/tourist-doc/tourist</a></li></ul><p><ul id="content_list"><li>Collaborated with a colleague to develop Tourist, a new
approach to code documentation. The project is open
source and can be downloaded as an extension for VSCode.</li></ul></p></li></ul></li></ul><section class="footer">References available upon request.<br>Resume source code available at<a href="https://github.com/hgoldstein95/resume"> github.com/hgoldstein95/resume</a>.</section></section></body></html>