Eli Shamir

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.