Computer Systems Institute

Institute of Computer Systems

Institute of Computer Systems
Clausiusstrasse 59
ETH Zentrum, RZ H 18
CH-8092 Zürich
Switzerland

Voice +41 44 632 7311
Fax +41 44 632 1307
eMail maeder at inf.ethz.ch

Physical address:
Clausiusstrasse 59
CH-8006 Zürich
Switzerland

The following research groups form part of the Institute of Computer Systems. Please find detailed information on activities on the particular
group pages:

Laboratory for Software Technology (Prof. Thomas Gross)
Native Systems Group (Prof. Jürg Gutknecht)
Formal Verification (Prof. Daniel Kröning)
Stereoscopic Imaging Research Group (Dr. Cary Kornfeld)

Webmaster

Last updated 22-01-2008 / RH