Pamela Zave received the A.B. degree in English from Cornell University,
Ithaca, New York, and the M.S. and Ph.D. degrees 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.
Since 1981 she has been with AT&T Bell Laboratories at Murray Hill, New Jersey,
and is now a Distinguished Member of Technical Staff in the Software 
Specification and Analysis Research Department.

Dr. Zave's research interests in software engineering
include formal methods for software development 
(particularly telecommunications software), 
compositional and multiparadigm specification techniques,
and requirements engineering.
She was the designer of the executable specification language PAISLey,
has published around fifty
technical papers, and has given numerous invited lectures.

Dr. Zave is an associate editor of IIEEE Transactions on Software
Engineering.
She has held several SIGSOFT offices and served on the program
committees of many conferences.