more on 'udi' and angelic non-determinism; make some sentences less long
[web.git] / research / contact.html
index fffa767ff929851a67e176005e61fbbf5ffba704..b0b102e49cf1529436dcd4028ef2dea293381dd5 100644 (file)
@@ -10,7 +10,7 @@ sort: 2
 <h3>Work Address</h3>
 
 <p>
 <h3>Work Address</h3>
 
 <p>
-MIT CSAIL, 32-G978B (PDOS)<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