Lenore D. Zuck (born 1958) is an Israeli-American computer scientist whose research involves formal methods in software engineering, as well as information privacy.
[1] She is a research professor of computer science at the University of Illinois Chicago.
[2] Zuck was born in Tel Aviv in 1958, and earned a bachelor's degree in 1979 from the Technion – Israel Institute of Technology.
She went to the Weizmann Institute of Science for graduate study in computer science, earning a master's degree in 1983[3] and a Ph.D. in 1987.
[4] Her doctoral dissertation, Past Temporal Logic, concerned temporal logic, and was supervised by Amir Pnueli.