Foundations of Computer Science
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:
- Combinatorial Constructions
- Computational Complexity
- Computational Number Theory
- Distributed Computing
- Logics of Programs
- Parallel Computation
- Program Specification and Verification
- Probabilistic Methods and Randomized Computation
Faculty Members that Research the Foundations of Computer Science
Complexity Theory, Probabilisitically Checkable Proofs, Hardness of
approximation, Combinatorics, Analysis of Boolean functions.
Uriel Feige: Computational
Complexity, Interactive Proofs, Approximation Algorithms, Cryptography,
Randomness and Computation, Pseudorandomness, Probabilistic Proofs,
Foundations of Cryptography, Complexity Theory, Distributed Computation.
Probabilistic Proofs, Complexity of Approximation, Cryptography, Computational
Number Theory, Fault Tolerant Distributed Computation.
Automata Theory, Logics of Programs, Database Theory, Complexity Theory,
Systems Engineering, Visual Languages.
Analysis and Design of Algorithms, Embeddings of Metric Spaces,
Algorithms, Bio-Informatics, Complexity, Functions on Product Spaces,
Social Choice and Game Theory, Discrete Probability.
Randomness in Computation, Cryptography,
Concrete Complexity and Combinatorial Algorithms.
David Peleg: Distributed
Computing, Theory of Communication Networks, Graph Algorithms, Approximation
Ran Raz: Circuit
Complexity, Communication Complexity, Arithmetic Complexity, Proof Theory.
Complexity Theory, Foundations of Cryptography, Derandomization and
Explicit Combinatorial Constructions.
Cryptography and cryptanalysis, Complexity Theory, Algorithms.
All graduate studies at the Weizmann Institute are administrated by
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.
Applications to the PhD program should include the name
and consent of the prospective PhD adviser.
Post doctoral Fellowships
The Weizmann Institute provides a number of post-doctoral fellowships.
They are administered through
It is strongly advised that potential candidates contact the desired
supervisor prior to their application.
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