projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
dont singe those poor integers
[web.git]
/
research
/
contact.html
diff --git
a/research/contact.html
b/research/contact.html
index 042437280446753fbf039bc4e369ab08d0462ffb..fffa767ff929851a67e176005e61fbbf5ffba704 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ücken
<br/>
-Germany
+
MIT CSAIL, 32-G978B (PDOS)
<br/>
+
32 Vassar St
<br/>
+
Cambridge, MA 02139
<br/>
+USA
</p>
</p>