forked from jadephilipoom/personal-website
-
Notifications
You must be signed in to change notification settings - Fork 0
/
resume.html
253 lines (247 loc) · 9.51 KB
/
resume.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
<head>
<meta charset="utf-8" />
<meta
name="viewport"
content="width=device-width, initial-scale=1.0, user-scalable=yes"
/>
<title>Jade Philipoom</title>
<link rel="stylesheet" type="text/css" href="styles/personal-website.css" />
<link rel="stylesheet" type="text/css" href="styles/resume.css" />
</head>
<body>
<div class="banner">
<div class="jadep">Jade Philipoom</div>
<nav>
<ul class="navbar">
<li><a class="nav-link" href="index.html">Home</a></li>
<li><a class="nav-link" href="publications.html">Publications</a></li>
<li class="active">
<a class="nav-link" href="resume.html">Resume</a>
</li>
<li><a class="nav-link" href="contact.html">Contact</a></li>
</ul>
</nav>
</div>
<div class="content">
<div class="section">
<div class="sectiontitle">Education</div>
<div class="school item">Massachusetts Institute of Technology</div>
<div class="degree item">
<div class="degreename left">PhD, Computer Science</div>
<div class="degreeinfo right">begun September 2018</div>
</div>
<div class="degree item">
<div class="degreename left">MEng, Computer Science</div>
<div class="degreeinfo right">February 2018, GPA 5.0/5</div>
</div>
<div class="degree item">
<div class="degreename left">
BSc, Computer Science (Mathematics minor)
</div>
<div class="degreeinfo right">June 2017, GPA 4.9/5</div>
</div>
</div>
<div class="section">
<div class="sectiontitle">Experience</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">Google, Inc</span>
<span class="jobtitle">Software Engineering Intern</span>
</div>
<div class="jobdate right">Spring 2018</div>
<div class="jobdescr">
Formally verified subroutines of cryptographic code for a custom 2FA
device
</div>
<div class="jobbul">
Modified an MIT research prototype to generate a specialized ISA
</div>
<div class="jobbul">
Discovered a new proof for previously-unjustified optimization of a
common algorithm
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">Amazon</span>
<span class="jobtitle">Research Scientist Intern</span>
</div>
<div class="jobdate right">Summer 2017</div>
<div class="jobdescr">
Analyzed security properties of AWS Key Management Service
</div>
<div class="jobbul">
Set up automatic dataflow analysis to detect key leaks and wrote a
model of the system’s cryptographic steps
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany"
>MIT Electrical Engineering and Computer Science</span
>
<span class="jobtitle">Teaching Assistant</span>
</div>
<div class="jobdate right">Spring 2017</div>
<div class="jobdescr">
Assisted for "Fundamentals of Programming", a sophomore-level
programming course
</div>
<div class="jobbul">
Helped design, write, and test assignments; assisted students at
office hours; coordinated with course staff
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">MIT CSAIL</span>
<span class="jobtitle">Undergraduate Researcher</span>
</div>
<div class="jobdate right">Fall 2015-Fall 2016</div>
<div class="jobdescr">
Contributed to the design and development of a verified cryptography
implementation
</div>
<div class="jobbul">
Synthesized efficient elliptic curve cryptography code in the Coq
proof assistant along with a 4-person team
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">Google, Inc</span>
<span class="jobtitle">Engineering Practicum Intern</span>
</div>
<div class="jobdate right">Summer 2015</div>
<div class="jobdescr">
Designed, built, and extended a framework to manage server
monitoring information
</div>
<div class="jobbul">
Implemented a new system to dynamically read configuration data from
unspecified protocol buffers
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">Shell Technology Centre</span>
<span class="jobtitle">Software Engineering Intern</span>
</div>
<div class="jobdate right">Summer 2014</div>
<div class="jobdescr">
Designed and developed multiple data visualization tools to
accompany left a research project
</div>
<div class="jobbul">
Proposed, designed, and produced JavaScript animation module to
improve performance on slow connections
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">MIT Media Lab</span>
<span class="jobtitle">Undergraduate Researcher</span>
</div>
<div class="jobdate right">Spring 2014</div>
<div class="jobdescr">
Created maps for StreetScore, an interactive display for data about
street safety (streetscore.media.mit.edu)
</div>
<div class="jobbul">
Served custom map tiles using raw OpenStreetMap geodata and
open-source geo tools such as Mapnik
</div>
</div>
<div class="job item">
<div class="jobname left">
<span class="jobcompany">MITRE Corporation</span>
<span class="jobtitle">Software Engineering Intern</span>
</div>
<div class="jobdate right">Summer 2012, 2013</div>
<div class="jobdescr">
(2013) With a team, developed a system using Python and PostgreSQL
to collect network security data
</div>
<div class="jobdescr">
(2012) Created a database for U.S. Central Command to keep track of
a complex inventory system
</div>
<div class="jobbul">
Project saved millions of dollars annually, earning the MITRE Spot
Award (rarely awarded to interns)
</div>
</div>
</div>
<div class="section">
<div class="sectiontitle">Awards and Publications</div>
<div class="award item">
<div class="awardname left">NSF Graduate Research Fellowship</div>
<div class="awardyear right">2018</div>
</div>
<div class="award item">
<div class="awardname left">
First Place Charles and Jennifer Johnson Computer Science MEng
Thesis Award
</div>
<div class="awardyear right">2018</div>
</div>
<div class="award item">
<div class="awardname left">
Anna Pogosyants UROP Prize for Outstanding Undergraduate Research
Project in Computer Science
</div>
<div class="awardyear right">2017</div>
</div>
<div class="award item">
<div class="awardname left">National Merit Scholarship</div>
<div class="awardyear right">2013</div>
</div>
<div class="award item">
<div class="awardname left">MITRE Spot Award</div>
<div class="awardyear right">2012</div>
</div>
<table class="publications">
<tr valign="top">
<td>
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, and Adam
Chlipala. Simple high-level code for cryptographic arithmetic –
with proofs, without compromises. In
<em
>Proceedings of the
<a href="https://www.ieee-security.org/TC/SP2019/"
>40th IEEE Symposium on Security and Privacy (S&P’19)</a
></em
>, May 2019. [
<a
href="https://people.csail.mit.edu/jadep/papers/fiat-crypto-ieee-sp.pdf"
>.pdf</a
>
]
</td>
</tr>
<td>
Jade Philipoom. Correct-by-construction finite field arithmetic in
coq. Master’s thesis, Massachusetts Institute of Technology,
February 2018. [
<a href="https://people.csail.mit.edu/jadep/papers/meng_thesis.pdf"
>.pdf</a
>
]
</td>
</table>
</div>
<div class="section">
<div class="sectiontitle">Programming Languages</div>
<div class="language">
Proficient - Coq, Python, Java, git, Javascript
</div>
<div class="language">
Working Knowledge - Go, C, LaTeX, HTML/CSS, C++, x86 assembly
</div>
</div>
<p id="pdf"><a href="media/resume.pdf">Resume as PDF</a></p>
</div>
</body>
</html>