forked from jadephilipoom/personal-website
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
56 lines (55 loc) · 2.16 KB
/
index.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
<!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=no"
/>
<title>Jade Philipoom</title>
<link rel="stylesheet" type="text/css" href="styles/personal-website.css" />
<link rel="stylesheet" type="text/css" href="styles/index.css" />
</head>
<body>
<div class="body">
<div class="banner">
<div class="jadep">Jade Philipoom</div>
<nav>
<ul class="navbar">
<li class="active">
<a class="nav-link" href="index.html">Home</a>
</li>
<li>
<a class="nav-link" href="publications.html">Publications</a>
</li>
<li><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="picture"><img src="media/me.jpg" /></div>
<div class="desc">
<p>
I’m a PhD student in MIT’s Programming Languages and Verification
group (<a href="plv.csail.mit.edu">PLV</a>). I’m currently in the
exploratory phase of working on lattice-based crypto in the proof
assistant Coq. I’m also continuing my longstanding work with
<a href="https://github.com/mit-plv/fiat-crypto">fiat-crypto</a>,
another Coq project which generates verified code for ECC
primitives. Both of these projects amount to using the proof
assistant to guatantee that pieces of cryptography code actually
implement their algorithmic specifications.
</p>
<p>
My general areas of interest include distributed systems and
computer security, particularly in relation to verification. I’m
also interested in how to effectively introduce people to
programming, both generally and for specialized contexts like
verification.
</p>
</div>
</div>
</div>
</body>
</html>