THIS PAGE IS NO LONGER MAINTAINED AND SOME OF THE INFORMATION ON IT IS OUT OF DATE

at The Weizmann Institute of Science

Jump to information regarding Graduate Studies and postdoc possibilities.

Research in Foundations of Computer Science

Foundations of computer science is an exciting and growing field, spanning a broad selection of topics from mathematics to engineering. The theoretical computer science group at Weizmann Institute is one of the most active in the world, consisting of almost a dozen full-time faculty, several visitors and post-docs and many graduate students. Current areas of research that are represented at Weizmann include:

- Algorithms
- Combinatorial Constructions
- Computational Complexity
- Computational Number Theory
- Cryptography
- Distributed Computing
- Logics of Programs
- Parallel Computation
- Program Specification and Verification
- Probabilistic Methods and Randomized Computation

- Zvika Brakerski: Theory of Cryptography, Computational Complexity, Algorithms.
- Irit Dinur: Complexity Theory, Probabilisitically Checkable Proofs, Hardness of approximation, Combinatorics, Analysis of Boolean functions.
- Shahar Dobzinski: Algorithmic Game Theory, Mechanism Design, Algorithms.
- Uriel Feige: Computational Complexity, Interactive Proofs, Approximation Algorithms, Cryptography, Random Walks.
- Oded Goldreich: Randomness and Computation, Sublinear-time Algorithms, Pseudorandomness, Probabilistic Proofs, Foundations of Cryptography, Complexity Theory, Distributed Computation.
- Shafi Goldwasser: Probabilistic Proofs, Complexity of Approximation, Cryptography, Computational Number Theory, Fault Tolerant Distributed Computation.
- David Harel: Computability, Automata Theory, Logics of Programs, Database Theory, Complexity Theory, Systems Engineering, Visual Languages.
- Robert Krauthgamer: Analysis and Design of Algorithms, Embeddings of Metric Spaces, Computational Complexity.
- Moni Naor: Randomness in Computation, Cryptography, Concrete Complexity and Combinatorial Algorithms.
- David Peleg: Distributed Computing, Theory of Communication Networks, Graph Algorithms, Approximation Algorithms.
- Ran Raz: Circuit Complexity, Communication Complexity, Arithmetic Complexity, Proof Theory.
- Omer Reingold: Complexity Theory, Foundations of Cryptography, Derandomization and Explicit Combinatorial Constructions.
- Adi Shamir: Cryptography and cryptanalysis, Complexity Theory, Algorithms.
- Ohad Shamir: Machine learning, Learning Theory, Online Learning, Learning with Partial Information, Optimization, Statistics.

All graduate studies at the Weizmann Institute are administrated by
the Feinberg
Graduate School. Applications should be made using the school's
forms which can be obtained together with more detailed information from
the *Feinberg Graduate School, P.O.B 26, Rehovot, Israel.*
E-mail: `nfhasday@weizmann.weizmann.ac.il`.

- Frequently Asked Questions about Graduate Studies at the Weizmann Institute.
- The homepage of the Feinberg Graduate School.
- Opinions about graduate studies, by Oded Goldreich.
- Demystifying the Master Thesis and Research in General: The Story of Some Master Theses, by Oded Goldreich.
- A brief introduction to the Theory of Computation, by Oded Goldreich.
- A webpage with other information on Computer Science studies at the Weizmann Institute, by Moni Naor.

**On-going Seminars**see webpage of the Faculty's upcoming seminars as well as webpage seminars in foundations of computer science- Books and Classnotes by Weizmann Faculty
- Homepages of the Weizmann Institute of Science. and the Faculty of Mathematics and Computer Science.
- Technical Reports in Computer Science and Mathematics
- The Puzzler page containing puzzles, games and other recreations reflecting our research.
- The link page containing addresses for bibliographies, conferences, journals, societies, classnotes and other pages regarding Foundations of Computer Science.
- David Harel hosts The Frontiers of Computer Science on TV

The Weizmann Institute of Science resides in a very nice campus, which is located about 25Km of Tel-Aviv, 55Km of Jerusalem, and 15Km of Israel's main international airport (Ben-Gurion).

See also the homepage of the Weizmann Institute of Science.

This page is maintained by Oded Goldreich.