Eliahu (Eli) Shamir (Hebrew: אליהו שמיר) is an Israeli mathematician and computer scientist, the Jean and Helene Alfassa Professor Emeritus of Computer Science at the Hebrew University of Jerusalem.
[1] Shamir earned his Ph.D. from the Hebrew University in 1963, under the supervision of Shmuel Agmon.
[1][2] Shamir was one of the discoverers of the pumping lemma for context-free languages.
He was (with Michael O. Rabin) one of the founders of the computer science program at the Hebrew University.
[4] He was given his named chair in 1987, and in 2002 a workshop on learning and formal verification was held in his honor at Neve Ilan, Israel.