more on 'udi' and angelic non-determinism; make some sentences less long

[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>
 <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
 32 Vassar St<br/>
 Cambridge, MA 02139<br/>
 USA