| |
Research Centers & Laboratories |
|
| The Arthur and Rochelle Belfer Institute of Mathematics and Computer Science | ||
| The John von Neumann Minerva Center for the Development of Reactive Systems | ||
| The Moross Laboratory for Vision Research and Robotics | ||
| Research in Foundations of Computer Science | ||
| |
Technical reports in Computer Science and Mathematics since 1993 |
|
Mathematics Library |
||
| |
Research Interests of Faculty Members |
|
|
|
|
|
|
| Artstein, Zvi | Control, Stability, Relaxation, Hybrid Dynamics, Set-valued Analysis, Stochastic Programming |
Mathematics |
|
| Basri, Ronen | Computer Vision, Visual Object Recognition, Robot Navigation |
|
|
| Ben-Menahem, Ari | Earthquake and Exploration Seismology |
|
|
| Benjamini, Itai | Probability, Coarse Geometry and Potential Theory |
|
|
| Berkovich, Vladimir | p-adic Analytic Spaces, Number Theory, Algebraic Geometry |
|
|
| Brandt, Achi | Scientific Computation, Computational Fluid Dynamics, Computational Chemistry, Computational Physics |
|
|
| Dinur, Irit | Theoretical Computer Science, Computational Complexity, PCPs |
|
|
| Dym, Harry | Operator Theory, Interpolation Theory, Inverse Problems, Classical Analysis |
|
|
| Feige, Uriel | Algorithms, Computational Complexity, Coping With NP-hardness |
|
|
| Flash, Tamar | Robotics, Motor Control, Computational Neuroscience |
|
|
| Fraenkel, Aviezri | Combinatorial Game Theory, Combinatorics on Words, Various Complexity Studies |
|
|
| Gelbart, Stephen | Group Representations, Automorphic Forms, Number Theory |
|
|
| Goldreich, Oded | Randomness and Computation, Foundations of Cryptography |
|
|
| Goldwasser, Shafi | Probabilistic Proofs, Cryptography, Computational Number Theory |
|
|
| Gorelik, Maria | Lie Theory, Quantum Algebras |
|
|
| Gourevitch, Dmitry | Group Representations, Harmonic Analysis on Reductive Groups |
|
|
| Harel, David | Systems and Software Engineering, Visual Languages, Biological Modeling, Odor Communication and Synthesis |
|
|
| Irani, Michal | Computer Vision, Video Information Processing |
|
|
| Joseph, Anthony | Enveloping Algebras, Quantum Groups, Representation Theory |
|
|
| Kannai, Yakar | Linear Partial Differential Equations, Game Theory, Mathematical Economics |
|
|
| Katsnelson, Victor | Complex Analysis, Harmonic Analysis, Differential Equations |
|
|
| Kozma, Gady | Probability and Fourier Analysis |
|
|
| Krauthgamer, Robert | Analysis and Design of Algorithms, Embeddings of Metric Spaces, Computational Complexity |
|
|
| Levin, Anat | Computer Vision, Computational Photography |
|
|
| Lipman Yaron | Geometry processing and modeling, computer graphics, discrete differential geometry | Computer Science & Applied Mathematics |
|
| Michelson, Daniel | Numerical Analysis, Differential Equations |
|
|
| Mossel, Elchanan | Combinatorial Statistics, Discrete Fourier Analysis and Influences, Randomized Algorithms, Computational Complexity, MCMC, Markov Random Fields, Social Choice, Game Theory, Evolution |
|
|
| Nadler, Boaz | Stochastic Processes, Statistical Data Analysis, Machine Learning |
|
|
| Naor, Moni | Computational Complexity, Cryptography, Computer Security |
|
|
| Novikov, Dmitry | Ordinary Differential Equations in Complex Domain, Real Algebraic Geometry, Hilbert 16th Problem |
|
|
| Peleg, David | Graph Theory, Approximation Algorithms, Distributed Computing, Communication Networks |
|
|
| Raz, Ran | Computational Complexity |
|
|
| Regev, Amitai | Polynomial Identities, Sn Representations, Combinatorics |
|
|
| Reingold, Omer | Computational Complexity, Foundations of Cryptography, Pseudorandomness and Combinatorial Constructions |
|
|
| Rom-Kedar, Vered | Dynamical Systems, Hamiltonian Flows, Modeling in Biology and Medicine, Mixing, Chaos |
|
Sarig, Omri | Ergodic theory, Dynamical Systems, and Probability |
|
| Schechtman, Gideon | Convexity, Geometry of Banach Spaces, Probability |
|
|
| Segal, Eran | Computational Biology, Machine Learning |
|
|
| Shamir, Adi | Cryptography, Cryptoanalysis, Complexity Theory, Algorithms |
|
|
| Shapiro, Ehud | Computational Models of Living Systems, High-Level Programming Languages |
|
|
| Solomyak, Michael | Spectral Theory, Schrödinger Operators |
|
|
| Tanay, Amos | Evolutionary Genomics, Machine Learning |
|
|
| Titi, Edriss S. | Nonlinear Partial Differential Equations, Numerical Analysis, Fluid and Geophysical Dynamics, Control Theory, Dynamical Systems |
|
|
| Ullman, Shimon | Vision, Computer Vision, Brain Modelling |
|
|
| Yakovenko, Sergei | Abelian Integrals, Limit Cycles, Fuchsian Equations, Oscillation, Disconjugacy |
|
|
| Yomdin, Yosef | Ordinary Differential Equations, Complex Analysis, Numerical Methods, Image Processing, Complexity |
|
|
| Zeitouni, Ofer | Probability theory, disordered media, random matrices, and applications |
|
|