-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
37 lines (34 loc) · 1.03 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
<!DOCTYPE html>
<html lang=en>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Vivian Ding</title>
<link rel="icon" type="image/png" href="images/icon.png" />
<link rel="stylesheet" type="text/css" href="styles.css" />
</head>
<body> <br>
<div class="img"><img src="images/profile.png" width=300px></div>
<div class="txt">
<h1>Vivian Ding</h1>
<ul>
<li>PhD student at MIT</li>
</ul>
<ul>
<li>vyd2 (at) cornell (dot) edu</li>
<li>[<a href="https://github.com/vivianyyd">Github</a>]
[<a href="https://linkedin.com/in/vivianyyd">LinkedIn</a>]
[<a href="https://twitter.com/vivianyyd">Twitter</a>]
</li>
<li>  (@vivianyyd almost anywhere)</li>
</ul>
<ul>
<li><a href="cv.pdf">CV (updated 2024-03-20)</a></li>
</ul>
<p>
I'm interested in programming languages and program synthesis.
Currently thinking about synthesizing specifications.
</p>
</div>
</body>
</html>