Pamela Zave received an A.B. degree in English from Cornell University, Ithaca, New York, and a Ph.D. degree in computer sciences from the University of Wisconsin--Madison. She began her career as an Assistant Professor of Computer Science at the University of Maryland, College Park.
Dr. Zave has been with AT&T Research since 1981, and is now a Lead Member of Technical Staff in the Information and Software Systems Research Laboratory. She is interested in all aspects of formal methods for software engineering as applied to networks. Currently she works with a group of other researchers building and analyzing SIP-based voice-over-IP and multimedia services using the Distributed Feature Composition architecture, invented by her and Michael A. Jackson. This group built and deployed the advanced telecommunication features of AT&T CallVantage(SM) voice-over-IP service.
Dr. Zave was named a Fellow of the Association for Computing Machinery in 2002. She was cited "for encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education." Her contributions to telecommunications have also been recognized with an AT&T Strategic Patent Award (2004) and an AT&T Science and Technology Medal (2006). She holds 14 patents in the telecommunication area.
Her other research interests include requirements engineering and multiparadigm specification. She has been honored for her contributions to the foundations of requirements engineering with an International Requirements Engineering Symposium Ten-Year Most Influential Paper Award (2003) and an International Conference on Software Engineering Ten-Year Most Influential Paper Award (2005).
Dr. Zave has over 90 technical publications, of which three have won Best Paper awards. She has given numerous talks all over the world, including invited lectures at 28 conferences.
Dr. Zave is currently chair of IFIP Working Group 2.3 (Programming Methodology). She is a member of the steering committee of the International Symposia on Formal Methods, and has been an associate or guest editor of several journals. She has served on the committees of many conferences, including chairing the program committee of the Second IEEE International Symposium on Requirements Engineering, and co-chairing the program committees of Formal Methods Europe 2001 and the First Alloy Workshop. She has also held the elective offices of vice-chair and secretary-treasurer in ACM's Special Interest Group on Software Engineering.
June 2009