Who Is Who? Foundations of Security Testing, Model-Based Student Affairs Dr
Total Page:16
File Type:pdf, Size:1020Kb
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,