Pamela Zave

Pamela Zave received an A.B. in English from Cornell University and a Ph.D. in computer science from the University of Wisconsin. She has held positions at the University of Maryland, Bell Laboratories, AT&T Labs, and Princeton University.

Dr. Zave is an ACM Fellow, an IFIP fellow, an AT&T Fellow, and the 2017 winner of the IEEE Computer Society’s Harlan D. Mills Award for “groundbreaking use of formal methods in the development of telecommunication software and for enduring contributions to software engineering theory.” She has also been awarded an AT&T Science and Technology Medal and an AT&T Strategic Patent Award. Her work on the foundations of requirements engineering has been recognized with three Ten-Year Most Influential Paper awards. She has served as chair of IFIP Working Group 2.3 on Programming Methodology, and has given invited talks at numerous conferences, workshops, and summer schools.

At AT&T Labs, Dr. Zave led a group that developed two successful large-scale telecommunication systems based on her research, including AT&T’s first publicly available voice-over-IP offering. She holds 34 patents.