Weizmann CS Research Day for Prospective Students
Friday, May 1st, 2009
Weizmann Institute of Science
Computer science is an exciting and growing field, spanning a broad selection
of topics. Roughly speaking, it deals with the power of computing systems, both
artificial and natural and their inherent limitations. A Computer Science
will be held at the Weizmann Institute of Science on Friday, May 1st, 2009. The aim is to
introduce recent research developments to people who are about to start their
research in the area. The intended participants are exceptional students
interested in graduate studies at the Weizmann Institute. The official
language of the day is English.
Poster of the Day
Moni Naor, Welcome
and Overview, Slides (ppt)
Robi Krauthgamer, Similarity searching, or how to find your neighbors efficiently, Slides (ppt)
Anat Levin, Computational Photography,
Oded Goldreich, Probabilistic Proof Systems,
Probabilistically Checkable Proofs, Slides (ppt)
Registration and Location
Program of Workshop
Faculty Members in Computer Science
Computer Vision, Visual Object Recognition, Robot Navigation
Computational Complexity, , Probabilisitically Checkable Proofs, Hardness of
approximation, Combinatorics, Analysis of Boolean functions.
Algorithms, Computational Complexity, Coping With NP-hardness.
Robotics, Motor Control, Computational Neuroscience
Combinatorial Games, Combinatorics, Information Retrieval.
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.
Computability, Program Logics, Systems/Software Engineering, Visual Languages,
Vision motion analysis, Compact video representations, Multi-sensor image
Analysis of Algorithms.
Anat Levin: Computer Vision, Computer Graphics and Machine Learning
Combinatorial Statistics, Discrete Fourier analysis and Influences, Randomized
Algorithms, Computational Complexity, MCMC, Markov Random Fields, Social Choice,
Game Theory, Evolution.
Cryptography, Concrete Complexity and Combinatorial Algorithms.
Distributed Computing, Theory of Communication Networks, Graph Algorithms,
Temporal Logic. Specification, Verification, and Development of Reactive,
Real-Time, and Hybrid Systems. Algorithmic and Deductive Verification.
Ran Raz :
Circuit Complexity, Communication Complexity, Arithmetic Complexity, Proof
: Complexity Theory.
Computational Biology, and more specifically
in developing quantitative models for all levels of gene regulation, including
transcription, chromatin, and translation
Adi Shamir: Cryptography and cryptanalysis, Complexity Theory,
Computational Models of Living Systems, High-Level Programming Languages
Synthesis of evolution and molecular function.
Vision, Computer Vision, Brain Modelling