projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add Miri update blog post
[web.git]
/
research
/
contact.html
diff --git
a/research/contact.html
b/research/contact.html
index a4c40765c76ba770ec0aad5516aa992702a3c443..b0b102e49cf1529436dcd4028ef2dea293381dd5 100644
(file)
--- a/
research/contact.html
+++ b/
research/contact.html
@@
-10,8
+10,7
@@
sort: 2
<h3>Work Address</h3>
<p>
-Floor 9, PDOS<br/>
-M.I.T. CSAIL, the Stata Center<br/>
+MIT CSAIL, 32-G978A (PDOS)<br/>
32 Vassar St<br/>
Cambridge, MA 02139<br/>
USA