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. ==Awards and honors==