Pamela Zave

Pamela Zave (born 1948,) is an American computer scientist who works at AT&T Labs, where she is known for her work in requirements engineering and her use of formal methods in telecommunications.

Zave graduated from Cornell University with a bachelor's degree in English, in 1970. Already at that time she showed an interest in computer science, taking a summer computer programming job with J. C. Penney in 1969. She earned her doctorate in computer science from the University of Wisconsin–Madison in 1976, under the name Pamela Zave Smith; her thesis, "Functional Equivalence of Parallel Processes", was supervised by Donald R. Fitzwater. She taught at the University of Maryland, College Park from 1976 to 1981, and then joined Bell Labs. She remained in the AT&T part of the labs through the two corporate splits that formed Bellcore in 1984 and Lucent in 1996, and ended up working at AT&T Labs, where she is currently a technology advisor in the Network Services Research Laboratory.

She was elected as the secretary-treasurer of SIGSOFT for 1983–1985 and as vice-chair for 1985–1987. She was program chair of the Second IEEE International Symposium on Requirements Engineering in 1996, and co-chair of the Tenth International Formal Methods Europe Symposium in 2001. In 2009 she gave a keynote address at the International Conference on Software Engineering and in 2011 she gave a keynote address at the 9th Working IEEE/IFIP Conference on Software Architecture.

With Bashar Nuseibeh, Zave is the editor of the book Software requirements and design: the work of Michael Jackson (Good Friends Publishing, 2010), about computer scientist Michael A. Jackson with whom Zave developed the "distributed feature composition" specification architecture for telecommunications services.

...
Wikipedia