projects
/
web.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
more on 'udi' and angelic non-determinism; make some sentences less long
[web.git]
/
research
/
contact.html
1
---
2
title: Contact
3
sort: 2
4
---
5
6
<h3>E-Mail Address</h3>
7
8
<p>research AT ralfj DOT de</p>
9
10
<h3>Work Address</h3>
11
12
<p>
13
MIT CSAIL, 32-G978A (PDOS)<br/>
14
32 Vassar St<br/>
15
Cambridge, MA 02139<br/>
16
USA
17
</p>