Who Is Who? Foundations of Security Testing, Model-Based Student Affairs Dr

Department of Computer Science

INFORMATION SECURITY ADMINISTRATION

David Basin Felix Klaedtke Peter Koschitz Hans Dubach Professor ETH since 2003 ETH Zurich since 2004 Head of Administration Student Affairs Prof. U Freiburg i.Br., 1997 Automata Theory, D-INFK ETH Zurich D-INFK ETH Zurich Ph.D. Cornell U, 1989 Formal Methods since 2001 since 1999 Information Security Dr.sc techn. ETH 1993 Department of Computer Science Heiko Mantel Alexander Pretschner Sile Hasler Bettina Bauer-Messmer ETH Zurich since 2003 ETH Zurich since 2004 Student Assistant Academic Counselling Dr.-Ing. Saarland U, 2003 Dr. rer.nat. TU Munich, 2003 Coordination ETH Zurich 1988-95, since 2001 MAILING ADDRESSES Who is Who? Foundations of Security Testing, Model-based Student Affairs Dr. sc.nat. ETH, 1995 Engineering, systems development D-INFK ETH Zurich Department of Computer Science Language-Based Security since 1998 ETH Zentrum RZ Head of Department Head of Administration Bernhard Seybold Christoph Sprenger Madeleine Bernard Irene Westphal CH-8092 Zurich Prof. Bertrand Meyer Dr. P. Koschitz ETH Zurich since 1988 ETH Zurich since 1986 Continuing Education Department Administration Switzerland Phone: +41 1 632 0410 Phone: +41 1 632 7220 Dr. sc. tech. ETH, 1999 Dr.sc. EPFL, 2000 D-INFK ETH Zurich D-INFK ETH Zurich Security engineering, Formal Methods for since 1990 since 2003 www.inf.ethz.ch/ software security tools Information Security

Luca Viganò Luca Previtali Institutes/Chairs Head of Administrative Assistant Professors ETH Zurich since 2003 Systems Support Institutes/Chairs Phone number Senior Research Associates PD Dr.-Ing. Albert-Ludwigs- D-INFK ETH Zurich Phone number Administration University Freiburg i.Br., 2003 since 2004 Chair of Information Security Dr.-Ing. Saarland U, 1997 Dipl. El. Ing. ETH Computational Science Prof. P. Koumoutsakos D. Wiesli/B. Hand The Information Security Group Formal Methods f. Security ETH Zurich, 2001 ETH Zentrum HRS +41 1 632 5258 +41 1 632 6814/ - 7159 carries out foundational and Protocols and Systems www.icos.ethz.ch/ applied research on methods and f. Information Security tools for improving the reliability Burkhart Wolff Computer Systems Prof. Th. Gross H. Sommer/R. Hidalgo Edition October 2004 and security of complex systems. ETH Zurich since 2004 ETH Zentrum RZ +41 1 632 7342 +41 1 632 7311/ - 7233 Dr. U of Bremen, 1997 www.cs.inf.ethz.ch/ The group's main focus is on devel- Semantics of Programming- oping rigorous, mathematically- and Specification languages, Information Security Prof. D. Basin B. Geiser based approaches to modeling, interactive verification ETH Zentrum IFW +41 1 632 7245 +41 1 632 7243 testing, verifying, and formally cer- and verification www.infsec.ethz.ch/ tifying the security of IT systems. tool development Together with colleagues at ETH The Department of Computer Science ("D-INFK" for "Departement Informatik") Information Systems Prof. M. Norrie V. Schmid and partners from industry, we is one of the younger departments at the Swiss Federal Institute of Technology ETH Zentrum IFW +41 1 632 7242 +41 1 632 7389 www.is.inf.ethz.ch/ have founded ZISC, the Zurich ("ETH" for "Eidgenössische Technische Hochschule") Zurich. It was founded in 1981, and since then it grew into one of the biggest departments. Today, it hous- Information Security Center, which Information Technology Prof.J.Hromkovic B. Heller carries out research and education es more than 1000 undergraduate and graduate students (diploma, as well as & Education +41 1 632 4408 +41 1 632 7401 in information security. bachelor [starting in the fall of 2003] and master [starting in the fall of 2006] ETH Zentrum RZ courses) and more than 150 PhD students who also serve as teaching and research assistants. Pervasive Computing Prof. F. Mattern H. Guelguen Together with 20 full professors, 9 assistant professors and another 140 staff ETH Zentrum IFW +41 1 632 0536 +41 1 632 7281 members, this amounts to a total staff of about 290 people, with 30% of the www.pc.inf.ethz.ch/ INFORMATION TECHNOLOGY total staff being project funded. In addition to providing education for the Software Engineering Prof. B. Meyer R. Buerkli & EDUCATION Computer Science students, the professors at the department teach more than ETH Zentrum RZ +41 1 632 0410 +41 1 632 5277 another 1000 students in its service courses for other engineering and science se.inf.ethz.ch/ departments of ETHZ, and in its continuing education courses for professionals Juraj Hromkovic Chair of Information Technology outside academia. Theoretical Computer Prof. E. Welzl F. Hefti Professor ETH since 2004 & Education Science +41 1 632 7370 +41 1 632 7392 member of the Slovak The current education systems are ETH Zentrum IFW Academic Society 2002 far from that, what they could and www.ti.inf.ethz.ch/ Prof. Aachen U 1997 should be. Especially the high Prof. U of Kiel, 1994 Vis.prof. U of Paderborn, 1989 school students suffer due to an Diplom Comenius U unrealistic idea that the teachers Bratislava, 1982 can teach by frontal explanations ORGANIZATION CHART ELECTRONIC ADDRESSES Education und theoretical and some discussions. To get a rea- computer science sonable level of mastery many iter- Electronic mail addresses Executive Board ations and confrontations with the Personal e-mail addresses topic are necessary. Our main goal Head of Department (Chair) of members of the department: [email protected] is to contribute to the develop- 5 Vice Chairs ment of a creative learning system Short form (if there are no ambiguities): [email protected] Werner Hartmann that could be successfully applied For general information: [email protected] Tit. Prof. ETH since 2004 Administration for self learning. In this way we Institutes Dr. phil. II U Zurich 1983 want to give a guarantee for as Teacher education many individual iterations as one www and computer science Theoretical needs, which leads to the reduction Computer Information Computational Pervasive Research: http://www.inf.ethz.ch/research/ Computer of the strong dependence of the Systems Systems Science Computing Education: http://www.inf.ethz.ch/education/ Science Education Server EducETH: http://www.educeth.ch/ teacher’s explanation quality. Faculty: http://www.inf.ethz.ch/people/faculty/ Sebastian Seibert Whenever possible, the available ETH Zürch since 2004 information technologies have to Independent Chairs Dr. rer. nat. U Kiel, 1996 be applied in order to develop PD RWTH Aachen, 2004 Software Information Information Technology automated tutors as highly inter- Approximation Algorithms, Engineering Security & Education In-Approximability, active software systems. Descriptional Complexity Informatik Eidgenössische Technische Hochschule Zürich of Formal Models inf Computer Science Swiss Federal Institute of Technology Zurich Department of Computer Science Professors - Senior Research Associates

COMPUTATIONAL SCIENCE COMPUTER SYSTEMS THEORETICAL COMPUTER SCIENCE SOFTWARE ENGINEERING

Peter Arbenz Joachim Buhmann Armin Biere Thomas Gross Markus Bläser Dmitry Feichtner-Kozlov Jean-Raymond Abrial Bertrand Meyer Tit. Prof. ETH since 2003 Professor ETH since 2003 Asst.Prof. ETH since 2000 Professor ETH since 1994 Asst.Prof. ETH since 2003 Asst. Prof. ETH since 2004 Guest Professor ETH Head of Department ETH Zurich since 1988 Prof. U of Bonn, 1992 Dr.rer.nat. TH Karlsruhe, 1997 Prof. Carnegie Mellon U Dr.rer.nat. U Bonn, 1999 Dr. KTH Stockholm, 1996 since 2004 Professor ETH since 2001 Dr.phil.II U Zurich, 1983 Dr.rer.nat. TU Munich,1988 Formal Methods, since 1984 Complexity Theory, Discrete Structures Former independent Dr.Sc. U. Nancy, 1985 Numerical Linear Algebra, Machine Learning, Hardware Verification, Ph.D. Stanford U, 1983 Algorithms and Geometry Consultant Reuse, Object Technology, Parallel and Distributed Pattern Recognition, Model Checking Software Construction, Formal Methods and Modelling Component-based Computing Computational Vision System Design Development, Systematic Software-Construction Walter Gander Gaston Gonnet Jürg Gutknecht Ueli Maurer Robert Stärk Peter Müller MEB Techniques, Language Professor ETH since 1987 Professor ETH since 1989 Professor ETH since 1985 Professor ETH since 1992 Asst.Prof. ETH since 1999 Professor ETH since 2003 Design for Software Dr.sc.math. ETH, 1973 Prof. PUC, Rio de Janeiro, 1977 Dr.sc.math. ETH, 1977 Dr.sc.techn. ETH, 1990 Dr. phil.nat. U Bern, 1992 Dr.rer.nat. U Hagen, 2001 Quality Scientific Computing, Prof. U of Waterloo, 1977 + 78 Programming in the Large, Information Security, Formal specification, Object-oriented Programming, Numerical Linear Algebra Computer Algebra, Institute of Operating Systems, Cryptography, verification and validation Formal Specification and Computational Biochemistry, Computer Systems Programming Languages Information Theory of systems Verification, Alias-Control Analysis of Algorithms Today's information society relies at its heart on computer systems. Markus Gross MEB Hans Hinterberger MEB The "Computer and Software Daniel Kröning Angelika Steger Emo Welzl MEB Karine Arnout Professor ETH since 1994 Tit. Prof. ETH since 1999 Asst.Prof.ETH since 2004 Professor ETH since 2003 Professor ETH since 1996 ETH Zurich since 2002 Systems" group explores new Chair of Software Engineering Dr.Ing. Saarland U, 1989 Dr.sc.techn. ETH, 1987 Dr.Ing. Saarland U, 2001 Prof. TU Munich, 1996 Prof. FU Berlin, 1987 Dr. Sc. ETH Zurich, 2004 development techniques for such Computer Graphics, Management and Automated Prof. U Duisburg, 1995 Dr.techn. TU Graz, 1983 Object technology, Software The Chair of Software Engineering Geometric Modeling and Visualization of systems, and shares with students Formal Methods, Dr.rer.nat. U Bonn, 1990 Algorithms engineering, Design patterns, helps advance the state of soft- Scientific Visualization Multidimensional the knowledge gained in the Software Verification Algorithms, Probabilistic Methods, and Geometry and Component-based ware technology by focusing on Scientific Data process. It is often unclear, at the Discrete Optimization development both quality and productivity. Key beginning of a project, which part technologies include object-orient- Petros Koumoutsakos Bettina Bauer-Messmer of a system should be built in hard- Cary D. Kornfeld Peter Widmayer Bernd Gärtner Arnaud Bailly ed development with Eiffel and Professor ETH since 1997 ETH Zurich 1988-95, since 2001 ware and which in software. ETH Zurich since 2004 Professor ETH since 1992 ETH Zurich since 1997 ETH Zurich since 2003 Ph.D. Caltech, 1992 Dr. sc.nat. ETH, 1995 Ph.D. Electrical Prof. U Freiburg i.Br., 1988 Dr.rer.nat. FU Berlin, 1995 Dr. ENST Paris, 2002 Design by Contract, component- Particle Methods, Machine Academic Counselling, Research groups in the institute Engineering/Comp. System Dr.rer.pol. Karlsruhe, 1983 Discrete Optimization, Distributed Object-oriented based software, formal methods Learning, Evolutionary Computer Science for investigate the development of Stanford U, 1985 Data Structures, Randomized Algorithms, Programming, Semantics and and proofs, concurrency and distri- Computation, Computational Students from elegant languages, the design and Stereoscopic Imaging, Digital Algorithms, Discrete and Verification of Distributed bution. Particular efforts are devot- Bio- and Nanotechnology Environmental Sciences programming of wearable com- Printing, Human Perception Distributed Computing Computational Geometry Components ed to component certification and puters, the use of formal methods "trusted components" with an Gina Cannarozzi-Bossard Nikolaus Hansen Eugene Zueff Stefanie Gerke Joachim Giesen Stefan Hallerstede (esp. model checking) for computer independent guarantee of quality. ETH Zurich since 2000 ETH since 2003 ETH Zurich since 2000 ETH Zurich since 2003 ETH Zurich since 1996 ETH Zurich since 2004 Ph.D. UC San Diego, 1995 Dr.-Ing. TU Berlin, 1998 system design, compilers and tools Ph.D. Moscow State U, 1999 Dr. Phil. U of Oxford, 2000 Dr.sc.techn. ETH, 2000 Ph.D. U of Southampton, 2002 The intended next step is to estab- Computational Biology Dr. med. FU Berlin, 1989 for concurrent object-oriented lan- Programming Languages Algorithms, Computational Geometry, Formal Methods lish a Laboratory for applied Soft- and Chemistry, Evolutionary Computation guages like Java, and software Semantics, (Random) Graphs Geometric Modelling (Formal Refinement, Formal ware Engineering Research and a Bioinformatics, NMR Machine Learning architectures for networked mobile Compilation Techniques, Modelling, B Method) Component Certification Center. self-organizing systems. The insti- Generic Programming tute participates in the NCCR MICS Matthias Müller Alexander Hall Martin Hirt (Mobile Information and Commu- ETH Zurich since 1993 ETH Zurich since 2001 ETH Zurich since 1995 Dr.sc.techn. ETH, 1999 nication Systems) and collaborates Dr. sc. ETH Zurich, 2003 Dr.sc.techn. ETH, 2001 Computer Graphics, with leading industrial research Combinatorial Optimization in Cryptographic Physically Based Institute of laboratories. Communication Networks, Protocols, Animation Computational Science Approximation Algorithms, Electronic Voting INFORMATION SYSTEMS Computational Science entails inter- Network Flows, Scheduling disciplinary research, tackling com- Ronald Peikert plex scientific and engineering prob- Institute of Riko Jacob Leon Peeters Donald Kossmann Moira Norrie ETH Zurich since 1979 lems under the unifying concept of Pervasive Computing ETH Zurich since 2003 ETH Zurich since 2003 Professor ETH since 2004 Professor ETH since 1996 Dr.sc.math. ETH, 1985 Ph.D. BRICS, Aarhus, 2002 Ph.D. Rotterdam School of PD University of Passau, 1999 Ph.D. U Glasgow, 1992 computation. The explosive growth Microprocessors and other hard- Scientific Visualization, ware components are becoming Design and Analysis Management, 2003 Ph.D. TU of Aachen, 1995 Object-Oriented and Flow Visualization of computer powers and progress in of Algorithms and Algorithms, Linear Database and Information Web Technologies, ever smaller and cheaper. Soon, computational methods and inter- PERVASIVE COMPUTING Datastructures and Integer Programming Systems, Web Technologies Global Information Systems faces extends the power of scientific small computers may be found not computation to an ever larger set of only in cameras, PDAs, and toys, but Volker Roth problems, while suggesting new Gustavo Alonso MEB also embedded in many everyday Shakhar Smorodinsky Hans-Jörg Schek ETH Zurich since 2003 Professor ETH since 1998 objects; myriads of disposable ETH Zurich since 2003 Professor ETH since 1988 ideas for experimental research. Institute of Dr. rer. nat. U of Bonn, 2001 Ph.D. UC Santa Barbara, 1994 wireless sensors may be used to Ph.D. Tel Aviv University, 2004 and Vicerector Research The Institute of Computational Information Systems Machine Learning, Parallelism, Distribution, monitor the environment. All these Combinatorial and at UMIT Innsbruck since 2002 Bioinformatics, Science (ICoS) in D-INFK encom- Replication, Scalability, Fault- Institute of computational geometry Society faces a radical change in Prof. TH Darmstadt, 1983 tiny computers need to be wire- Kernel Methods passes this philosophy as a unique tolerance, Software Architecture Theoretical Computer Science both the volume of available infor- Dr.-Ing. U Stuttgart, 1972 lessly connected to the rest of the interdisciplinary unit. Key research for Mobile Environments The theory of computation is to mation and how we can exchange DB, Hyperdatabase Middleware world in order to exchange infor- topics include Visual Computing, Computer Science as laws of that information. The field of infor- Harald Steck Friedemann Mattern mation. Pervasive computing Tibor Szabó Sören Balko Bioinformatics, Machine Learning, nature to the natural sciences: the- mation science and engineering ETH Zurich since 2003 Professor ETH since 1999 extends the classical area of dis- ETH Zurich since 2000 ETH Zurich since 2004 Parallel Computing, Large Scale ory identifies the limits of the pos- must keep up with developments Dr. rer. nat. TU Munich, 2001 Prof. TU Darmstadt, 1994 tributed systems and deals with Ph.D. Ohio State U, 1996 Dr.-Ing. U Magdeburg, 2004 Computational Statistics, Linear Algebra, Advanced Symbolic Prof. U Saarland, 1991 sible, and suggests research topics Pseudorandomness in ubiquitous computing and the Multimedia Databases, the theoretical and practical chal- Computational Biology Computation and Multiscale Mod- Dr.rer.nat. U Kaiserslautern, 1989 where these theoretical limits have and Algebraic shift they imply: away from the Similarity Search lenges of such a world full of eling and Simulation. Faculty and Distributed Systems, Internet not been reached. In computer sci- Methods personal computing and server mobile and "disappearing" com- Staff in ICoS are involved in projects Computing, Ubiquitous Comp. ence, theory is closely related to paradigms, and on to community puters: How can information be spanning a wide range of applica- practice: it serves as a source of information spaces. The Institute's Matthias Teschner Cesare Pautasso propagated safely and efficiently? Marc Fischlin Jens-Peter Dittrich tions in Systems Biology, Virtual ideas and methods that lead to research and teaching reflect these ETH Zurich since 2002 ETH Zurich since 2000 How do we interact with invisible ETH Zurich since 2004 ETH Zurich since 2004 Dr.Ing. U of Erlangen- and Augmented Reality, Human- Service Composition, prototype systems and new appli- Emmy Noether Scholar trends: they cover both established Dr.rer.nat. U Marburg, 2002 computers? What are appropriate Nuremberg, 2000 Computer Interface, Pattern Recog- Visual Languages, cations. Current topics of growing Dr.phil.nat. U Frankfurt, 2001 topics - information modelling, Query Processing software infrastructures? How can Computer Graphics, nition, Nanotechnology, Engineer- Process Support Systems, importance include efficient ran- Cryptography databases, information retrieval - Main Memory Databases we build an Internet of communi- Computer Vision, ing, Art and Entertainment and Cluster and Grid Computing domized algorithms, distributed and their extension to new tech- Information Retrieval cating things? Biomedical Simulation Finance. The Institute is a principal systems and data, information nologies providing integrated Data Warehousing force behind the recently estab- security, and provably correct soft- Jens H. Walther information environments. Our Can Türker ware. ETH Zurich since 1997 lished interdisciplinary ETHZ Com- task is to provide the necessary ETH Zurich since 1999 Ph.D. TU of Denmark, 1994 putational Laboratory (CoLab). information infrastructures to Dr.-Ing. U Magdeburg, 1999 Particle and deliver the right information to the Hyperdatabases & Grid Vortex Methods, right person at the right time, Technologies, Molecular Dynamics whether in public spaces, in the Object-Relational Databases MEB = Member of the home, or in the work place. Executive Board of D-INFK