Lenore Zuck

Lenore D. Zuck (born 1958) is an Israeli-American computer scientist whose research involves formal methods in software engineering, as well as information privacy. She is a research professor of computer science at the University of Illinois Chicago.

Education and career
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 and a Ph.D. in 1987. Her doctoral dissertation, Past Temporal Logic, concerned temporal logic, and was supervised by Amir Pnueli.

She was an associate professor of computer science at Yale University, and then at New York University, before moving to the University of Illinois Chicago in the early 2000s.