Pamela Zave

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Pamela Zave (born 1948,[1]) 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.[2]

Education and career[edit]

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.[3] 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.[4] 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.[3]

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

Selected publications[edit]

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.[9]

Three of Zave's publications have received "most influential" awards, given many years after they were published. Her paper "Domain descriptions" (with Jackson at the 1993 IEEE International Symposium on Requirements Engineering, doi:10.1109/ISRE.1993.324836) was honored in 2003 as the most influential paper from that symposium.[3] A second paper with Jackson, "Deriving specifications from requirements: An example" (17th International Conference on Software Engineering, 1995, doi:10.1145/225014.225016), was again named most influential in 2005.[5] And her paper "A reference model for requirements and specifications" (with Gunter, Gunter, and Jackson, International Requirements Engineering Conference 2000) was named most influential in 2010.[10]

Her paper "A compositional approach to multiparadigm programming" (IEEE Software, 1989, doi:10.1109/52.35586) won the best paper of the year award from that journal.[3] Another paper, "Ideal address translation: Principles, properties, and applications" (Seventh International Workshop on Feature Interactions in Telecommunications and Software Systems, 2003), won the L.G. (Wiet) Bouma Best Paper Award at that workshop.[11]

Awards and honors[edit]

In 2002 Zave was elected as a Fellow of the Association for Computing Machinery "for encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education".[12] She was also selected as an AT&T Fellow in 2009.[13]


Zave's brother, Derek A. Zave (1946–1987) was also a computer scientist.[14] Zave is openly lesbian; her fiancée and long-term partner is Cuban-American artist Yolanda V. Fundora.[15][16] Zave is also an avid quilter.[15][16][17]


  1. ^ Birthdate from OCLC, retrieved 2015-06-18.
  2. ^ Professional biography, Pamela Zave, AT&T, retrieved 2015-06-18.
  3. ^ a b c d Curriculum vitae, Pamela Zave, AT&T, retrieved 2015-06-18.
  4. ^ Pamela Zave at the Mathematics Genealogy Project
  5. ^ a b c Xie, Tao (2009–2013), The SIGSOFT Chronology: its Officers, Conferences, Awards, and more, ACM.
  6. ^ Nuseibeh, Bashar (September 1995), "Report on the Second IEEE International Symposium on Requirements Engineering (RE '95), York, UK, 27–29 March 1995", Automated Software Engineering, 2 (3): 249–253, doi:10.1007/bf00871800.
  7. ^ Proceedings of FME 2001, LNCS 2021, Springer, 2001.
  8. ^ WICSA 2011 Keynotes, retrieved 2015-06-18.
  9. ^ Berry, Daniel M. (March 2011), "Software requirements and design", ACM SIGSOFT Software Engineering Notes, 36 (2): 39, doi:10.1145/1943371.1943379.
  10. ^ Home Page of International Requirements Engineering Conference, retrieved 2015-06-18.
  11. ^ Amyot, D.; Logrippo, L. (2004), "Directions in Feature Interaction Research" (PDF), Guest Editorial, Computer Networks, 45 (5).
  12. ^ ACM Fellow award citation, retrieved 2015-06-18.
  13. ^ AT&T Announces Technology Award Winners, AT&T, March 17, 2010, retrieved 2015-06-18.
  14. ^ Derek A. Zave (1946 - 1987), Pamela Zave, AT&T, retrieved 2015-06-18.
  15. ^ a b About the artist,, retrieved 2015-06-18.
  16. ^ a b Interests outside work, Pamela Zave, AT&T, retrieved 2015-06-18.
  17. ^ Wolfrom, Joen (2014), Color Play: Expanded & Updated (2nd ed.), C&T Publishing Inc, p. 32, ISBN 9781607059653.

External links[edit]