projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add link to reddit (and a tweak)
[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ücken
<br/>
-Germany
+
MIT CSAIL, 32-G978A (PDOS)
<br/>
+
32 Vassar St
<br/>
+
Cambridge, MA 02139
<br/>
+USA
</p>
</p>