Biography:Pamela Zave
Pamela Zave (born 1948[1]) is an American computer scientist now working at Princeton University. She is known for her work on requirements engineering, telecommunication services, and protocol modeling and verification, and is now working on network architecture.[2] She was named a Fellow of the Association for Computing Machinery in 2002, and was the 2017 recipient of the Harlan D. Mills Award from the IEEE Computer Society.
Education and career
Zave graduated from Cornell University with a bachelor's degree in English, in 1970. 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.[3] She taught at the University of Maryland, College Park from 1975 to 1981, and then joined Bell Labs (which was then part of AT&T). 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 continued working at AT&T Labs Research through 2017. Since then she has been a research associate at Princeton University.[2]
Awards and honors
In 2017 Zave received the Harlan D. Mills Award from the IEEE Computer Society "for groundbreaking use of formal methods in the development of telecommunication software and for enduring contributions to software engineering theory."[4]
In 2002 Zave was named 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."[5] She was also selected as an AT&T Fellow in 2009.[6]
Research on requirements engineering
In collaboration with Michael A. Jackson, Zave created the set of definitions and reasoning obligations that have become known as the standard model for requirements engineering. The model is most fully explained in the paper "Four dark corners of requirements engineering."[7] Earlier papers on this work won the Ten-Year Most Influential Paper Award from three conferences: 11th International Requirements Engineering Symposium (2003),[2] 27th International Conference on Software Engineering (2005),[8] and 18th IEEE Conference on Requirements Engineering (2010).[9]
Research on telecommunication services
Distributed Feature Composition (DFC) is a modular architecture for telecommunication services, designed to provide structured feature composition and easy management of feature interactions. DFC was invented by Zave and Michael Jackson beginning in 1997.[10]
An implementation of DFC was used to build the features for CallVantage (SM), AT&T's first voice-over-IP service, which became publicly available in 2004 and served approximately 100,000 customers world-wide.[11][12] After CallVantage the DFC implementation was used to build a teleconferencing system used internally by AT&T, which for some time supported millions of user minutes each work day.[2] DFC has also been incorporated into the Java Community Process standard for SIP Servlet containers.[13]
Zave holds 30 patents in the telecommunications area.[14] Her papers on telecommunications research have won three Best Paper Awards: IEEE Software best paper of 1989 for "A compositional approach to multiparadigm programming", 7th International Workshop on Feature Interactions in Telecommunications and Software Systems (2003),[15] 3rd International Conference on Principles, Systems and Applications of IP Telecommunications (2009).[2]
Research on protocol modeling and verification
Zave's work on finding bugs in the Chord protocol[16] and proving a modified version correct[17] has been credited by engineers in Amazon Web Services for convincing them to start using formal methods on real distributed systems.[18]
Personal
In 2014 Zave married her partner, the Cuban-American artist Yolanda V. Fundora.[19] She is a quilter.[20]
See also
References
- ↑ Birthdate from OCLC, retrieved 2015-06-18.
- ↑ 2.0 2.1 2.2 2.3 2.4 Professional Biography, retrieved 2018-10-15.
- ↑ Pamela Zave at the Mathematics Genealogy Project
- ↑ 2017 Harlan D. Mills Award, retrieved 2018-10-15.
- ↑ ACM Fellow Award Citation, retrieved 2015-06-18.
- ↑ AT&T Announces Technology Award Winners, AT&T, March 17, 2010, retrieved 2015-06-18.
- ↑ Pamela Zave and Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology 2(4), 1993.
- ↑ Xie, Tao (2009–2013), The SIGSOFT Chronology: its Officers, Conferences, Awards, and more, ACM, http://historywiki.acm.org/sigs/SIGSOFT.
- ↑ Home Page of International Requirements Engineering Conference, retrieved 2015-06-18.
- ↑ Michael Jackson and Pamela Zave, Distributed Feature Composition: A virtual architecture for telecommunications services, IEEE Transactions on Software Engineering 24(10), 1998. doi:10.1109/32.729683
- ↑ AT&T CallVantage New Features, December 16, 2004, retrieved 2018-12-31.
- ↑ AT&T's CallVantage: Excellent Phone Service on the Cheap, May 23, 2005, retrieved 2018-12-31.
- ↑ Java Specification Request 359: SIP Servlet 2.0, retrieved 2018-12-31.
- ↑ Results of Search in US Patent Collection db for IN/Zave, retrieved 2019-01-02.
- ↑ Amyot, D.; Logrippo, L. (2004), "Directions in Feature Interaction Research", Computer Networks 45 (5): 563–567, doi:10.1016/j.comnet.2004.03.024, http://cserg0.site.uottawa.ca/ftp/pub/Lotos/Papers/Comnet03GuestEditorial.pdf.
- ↑ Pamela Zave, Using lightweight modeling to understand Chord, ACM SIGCOMM Computer Communications Review 42(2), 2012. doi:10.1145/2185376.2185383
- ↑ Pamela Zave, Reasoning about identifier spaces: How to make Chord correct, IEEE Transactions on Software Engineering 43(12), 2017. doi:10.1109/TSE.2017.2655056
- ↑ Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff, How Amazon Web Services uses formal methods, Communications of the ACM 58(4), 2015. doi:10.1145/2699417
- ↑ Interests Outside Work, retrieved 2018-10-15.
- ↑ "About the Artist" (in en). https://www.zaveartquilts.com/about-the-artist.
External links
 |  |
