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 042437280446753fbf039bc4e369ab08d0462ffb..b0b102e49cf1529436dcd4028ef2dea293381dd5 100644 (file)
--- a/research/contact.html
+++ b/research/contact.html
@@ -5,17 +5,13 @@ sort: 2
 
 <h3>E-Mail Address</h3>
 
 
 <h3>E-Mail Address</h3>
 

-<p>jung AT mpi-sws DOT org</p>
-
-<h3>Phone Number</h3>
-
-<p>+49 (681) 9303 8717</p>
+<p>research AT ralfj DOT de</p>

 
 <h3>Work Address</h3>
 
 <p>
 
 <h3>Work Address</h3>
 
 <p>

-Room 336<br/>
-MPI-SWS (Campus E1.5)<br/>
-66123 Saarbr&uuml;cken<br/>
-Germany 
+MIT CSAIL, 32-G978A (PDOS)<br/>
+32 Vassar St<br/>
+Cambridge, MA 02139<br/>
+USA

 </p>
 </p>