1949 |
The First Department of Applied Mathematics in Israel |

1952 |
What the earth can tell us |

1952 |
Prospecting for oil and water |

1954 |
WEIZAC, the first computer in Israel |

1963 |
The Responsa ("shut") Project |

1964 |
Mathematical Economics |

1969 |
The first Computer Science program in Israel |

1970 |
Opening of Department of Theoretical Mathematics |

1970 |
Combinatorial Game Theory |

1970 |
Fostering mathematical education of youth and amateurs |

1971 |
Advances in Polynomial Identity Theory |

1972 |
Pioneering modern multi-scale computations |

1974 |
A new class of isospectral problems |

1974 |
Just-In-Time Scheduling and partitions of the integers |

1976 |
Contributions to the Langlands Program in Number Theory |

1976 |
Trace Formulas |

1977 |
Are Partial Differential Equations of Various Types that Different? |

1977 |
The Interpretation of Structure from Motion |

1977 |
Temporal logic |

1977 |
RSA: Constructing Public Key Encryption and Digital Signatures Schemes |

1979 |
How to Share a Secret |

1982 |
Probabilistic encryption and laying rigorous foundations to cryptography |

1983 |
Stability and stabilization |

1983 |
Real semi-algebraic geometry in Dynamics, Analysis, and Number Theory |

1984 |
Visual routines: how the brain composes programs |

1984 |
Statecharts and reactive systems |

1984 |
Pseudorandomness: Objects that look random although they are not |

1985 |
Maximizing smoothness: A computational model of human movements |

1985 |
A greater understanding of the immune system |

1986 |
A new geometry |

1986 |
Zero-Knowledge: Proofs that yield nothing but their validity |

1987 |
Secure Multi-Party Protocols: Emulating a Trusted Party |

1987 |
Local Theory of Normed Spaces |

1988 |
Classification of Primitive Ideals |

1988 |
Reproducing Kernel Spaces |

1990 |
On The Navier-Stokes and Euler Equations |

1990 |
Chaotic dynamics and its applications |

1990 |
The power of interactive proofs |

1990 |
Linear lower bound on depth of Monotone circuits for Matching |

1990 |
Differential cryptanalysis |

1990 |
Compact representations for large networks |

1991 |
Commitment Schemes: Hiding, Binding, and Non-Malleability |

1991 |
Super-Resolution |

1991 |
PCP: Locally (and Probabilistically) Checkable Proofs |

1994 |
Qualitative Theory of Differential Equations |

1995 |
When circles touch |

1995 |
The Effect of Parallel Repetition (on games of partial information) |

1996 |
Percolation beyond Euclidean Lattices |

1996 |
Property Testing: Ultra-fast approximate decisions |

1997 |
Introducing the Stochastic Loewner Evolution |

1998 |
Approximation algorithms |

1998 |
Sharp thresholds and the k-SAT problem |

1999 |
Object Recognition |

1999 |
Exponential Separation of Quantum and Classical Communication Complexity |

2000 |
Spectral theory on metric graphs |

2000 |
Character Formulae |

2000 |
Introducing local limits of graphs |

2001 |
Harmonic Analysis of Reflected Light |

2002 |
Explicit Lossless Expanders |

2003 |
Multilinear Formulas for Permanent and Determinant
require Super-Polynomial Size |

2003 |
Purifying randomness |

2003 |
An algorithmic paradigm based on metrics of bounded dimension |

2005 |
Deterministic simulation of random walks |

2006 |
Random walks in random environments |

2006 |
PCP: Gradual gap amplification |

2006 |
A genomic code for the packaging of DNA within cells |

2007 |
Coupled slow and fast dynamics |

2007 |
Non-Compact Gelfand Pairs |

2008 |
Dynamical systems theory applied to medical problems |

2008 |
A Constructive Solution to the Infinitesimal Hilbert 16th Problem |

2008 |
Detecting and separating signals from noise |

2009 |
Learning from Crowdsourced Data |

2011 |
A Fixed point theorem for all L1 Spaces |

2011 |
Random surfaces as Gaussian fields |

2011 |
Homomorphic Encryption: Processing Encrypted Data |

2012 |
Zhelobenko Invariants |

2012 |
Domain Topology of Chromosomes |

2013 |
Bounded Distortion Deformation Spaces |

2013 |
Symbolic dynamics: making sense out of chaos |

2013 |
Counting Representations |

2013 |
Nonstandard Random walks |