Lenore D. Zuck (; born 1958) is an Israeli-American computer scientist whose research involves

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

software engineering Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

, as well as

information privacy Information privacy is the relationship between the collection and dissemination of data, technology, the public expectation of privacy, contextual information norms, and the legal and political issues surrounding them. It is also known as dat ...

. She is a research professor of computer science at the

University of Illinois Chicago The University of Illinois Chicago (UIC) is a public research university in Chicago, Illinois, United States. Its campus is in the Near West Side community area, adjacent to the Chicago Loop. The second campus established under the Universi ...

Education and career

Zuck was born in

Tel Aviv Tel Aviv-Yafo ( or , ; ), sometimes rendered as Tel Aviv-Jaffa, and usually referred to as just Tel Aviv, is the most populous city in the Gush Dan metropolitan area of Israel. Located on the Israeli Mediterranean coastline and with a popula ...

in 1958, and earned a bachelor's degree in 1979 from the

Technion – Israel Institute of Technology The Technion – Israel Institute of Technology is a public university, public research university located in Haifa, Israel. Established in 1912 by Jews under the dominion of the Ottoman Empire, the Technion is the oldest university in the coun ...

. She went to the

Weizmann Institute of Science The Weizmann Institute of Science ( ''Machon Weizmann LeMada'') is a Public university, public research university in Rehovot, Israel, established in 1934, fourteen years before the State of Israel was founded. Unlike other List of Israeli uni ...

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 In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

, and was supervised by

Amir Pnueli Amir Pnueli (; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree ...

. She was an associate professor of computer science at

Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...

, and then at

New York University New York University (NYU) is a private university, private research university in New York City, New York, United States. Chartered in 1831 by the New York State Legislature, NYU was founded in 1832 by Albert Gallatin as a Nondenominational ...

, before moving to the University of Illinois Chicago in the early 2000s.

Selected publications

* * * * * * *

References

External links

Home page
* {{DEFAULTSORT:Zuck, Lenore 1958 births Living people Scientists from Tel Aviv Israeli computer scientists Israeli women computer scientists American computer scientists American women computer scientists Technion – Israel Institute of Technology alumni Yale University faculty University of Illinois Chicago faculty