HISTORICAL AND EDUCATIONAL MILESTONES

EARLY HISTORY

Year | Milestone Title |
---|---|

1952 | Prospecting for oil and water |

1952 | What the earth can tell us |

1954 | WEIZAC, the first computer in Israel |

1963 | The Responsa ("shut") Project |

_____________________________________________

ALGEBRA

Year | Milestone Title |
---|---|

1971 | Advances in Polynomial Identity Theory |

1976 | Contributions to the Langlands Program in Number Theory |

1988 | Classification of Primitive Ideals |

2000 | Character Formulae |

2007 | Non-Compact Gelfand Pairs |

2012 | Zhelobenko Invariants |

2013 | Counting Representations |

ALGEBRAIC GEOMETRY

Year | Milestone Title |
---|---|

1976 | Contributions to the Langlands Program in Number Theory |

1986 | A new geometry |

ALGORITHMS

ANALYSIS

Year | Milestone Title |
---|---|

1976 | Trace Formulas |

1986 | A new geometry |

1987 | Local Theory of Normed Spaces |

1994 | Qualitative Theory of Differential Equations |

1995 | When circles touch |

2000 | Spectral theory on metric graphs |

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

2011 | A Fixed point theorem for all L1 Spaces |

APPLIED MATHEMATICS

BIOINFORMATICS

Year | Milestone Title |
---|---|

1985 | A greater understanding of the immune system |

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

2012 | Domain Topology of Chromosomes |

COMBINATORICS

Year | Milestone Title |
---|---|

1998 | Sharp thresholds and the k-SAT problem |

2000 | Spectral theory on metric graphs |

COMPLEXITY

COMPUTER VISION, GRAPHICS AND ROBOTICS

CRYPTOGRAPHY

DYNAMICAL SYSTEMS

Year | Milestone Title |
---|---|

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

2013 | Symbolic dynamics: making sense out of chaos |

2013 | Nonstandard Random walks |

FORMAL VERIFICATION AND PROGRAMMING THEORY

Year | Milestone Title |
---|---|

1977 | Temporal logic |

1984 | Statecharts and reactive systems |

GEOMETRY

NUMBER THEORY

Year | Milestone Title |
---|---|

1976 | Contributions to the Langlands Program in Number Theory |

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

1986 | A new geometry |

2013 | Nonstandard Random walks |

PROBABILITY THEORY