Pamela Zave received an A.B. degree in English from Cornell University, and a Ph.D. in computer sciences from the University of Wisconsin. She has held positions at the University of Maryland, Bell Laboratories, AT&T Labs—Research, 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 the prestigious IFIP Working Group 2.3 on Programming Methodology, founded in 1969. She has also won several Best Paper awards, and 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.

Jennifer Rexford received a B.S.E. degree in Electrical Engineering from Princeton University and a Ph.D. in Electrical Engineering and Computer Science from the University of Michigan. She has held the positions of Member of Technical Staff, AT&T Labs—Research (1996-2005), Professor of Computer Science, Princeton University (2005-present), Chair of Computer Science, Princeton University (2015-2022), and Provost (2023-present).

Prof. Rexford is an ACM Fellow, an IEEE Fellow, and a member of the American Academy of Arts and Sciences, the National Academy of Engineering, and the National Academy of Sciences. She received the ACM SIGCOMM Award for Lifetime Contributions for “fundamental and practical contributions to making the Internet more reliable and predictable, and for outstanding mentoring and community service.” She also received the IEEE Internet Award for “fundamental contributions to the programmability, stability, and performance of large computer networks, and leadership within the networking community” and the IEEE Alexander Graham Bell Medal for “For contributions to Internet wide-area routing and software-defined networking.”

Prof. Rexford has served as chair of ACM SIGCOMM and a member of the Computing Community Consortium and the Computing Research Association Board of Directors. She co-founded the P4 Consortium and also served on the board of the Open Networking Foundation. She has received several Best Paper and Test-of-Time Paper awards.

The tools and techniques she designed for traffic measurement, route monitoring, traffic engineering, and router configuration were deployed in AT&T’s Internet Service Provider backbone network. She holds 15 patents.