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.[5]
She was an associate professor of computer science at Yale University,[4] and then at New York University, before moving to the University of Illinois Chicago in the early 2000s.[6]