add camera-ready version of itree-program-logic paper
[web.git] / research / contact.html
1 ---
2 title: Contact
3 sort: 2
4 ---
5
6 <p><b>Email:</b> ralf DOT jung AT inf DOT ethz DOT ch</p>
7
8 <p><b>Phone:</b> +41 44 632 5598</p>
9
10 <p><b>Office / Mail:</b><br/>
11 <a href='https://ethz.ch/staffnet/de/service/raeume-gebaeude/orientierung/gebaeude.html?args0=CNB' target='_blank'>CNB</a> H 109<br/>
12 Universitätstrasse 6<br/>
13 8092 Zürich<br/>
14 Switzerland
15 </p>