The pumping lemma for context-free languages represents a fundamental discovery in theoretical computer science, a development attributed to Eli Shamir. His career spanned seven decades, bridging the gap between rigorous mathematical foundations and the practical application of algorithms, while influencing the development of computational linguistics and formal logic from his base in Jerusalem.
Early Life and Service
Born in Jerusalem in 1934, Shamir attended the Tachkemoni School and the Hebrew University Secondary School. During the 1948 Arab-Israeli War, he participated in the defensive preparations within Jerusalem. His academic trajectory began at the Hebrew University of Jerusalem, where he engaged in mathematical study while simultaneously serving as the inaugural operations research officer for the Israeli Air Force under the Atuda program.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Academic Development and Research
In 1963, Shamir completed his Ph.D. at the Hebrew University under the supervision of Shmuel Agmon. He returned to his alma mater in 1966, achieving the rank of full professor by 1972. In 1987, he was appointed the Jean and Helene Alfassa Professor Emeritus of Computer Science.
Contributions to Computational Theory
Shamir contributed significantly to several specialized fields, including random graphs, automata theory, and computational learning theory. Rabin, he established the computer science program at the Hebrew University. His research output was extensive, ranging from the formal properties of phrase structure grammars, developed with Y. Bar-Hillel and M. Perles in 1961, to the study of chromatic numbers in random graphs and selective sampling algorithms published in the 1980s and 1990s.
Fast facts
- Born: 1934, Jerusalem
- Died: 2026, Jerusalem
- Education: Hebrew University of Jerusalem
- Academic appointments: Northwestern University, University of California, Berkeley
- Field: Computer science and mathematics
- Key area: Graph theory
- Recognition: Jean and Helene Alfassa Professor Emeritus
- Primary language: Hebrew
Questions readers ask
What is the primary significance of the work Eli Shamir conducted?
He is recognized for his role as one of the discoverers of the pumping lemma for context-free languages, a vital concept in automata theory.
Did Shamir have a role in founding computer science programs?
Yes, he and Michael O. Rabin were responsible for founding the computer science program at the Hebrew University of Jerusalem.
Achievements
- Held posts at Northwestern University and University of California, Berkeley
- Fields: graph theory