Pamela Zave

Last updated

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 2001 and was the 2017 recipient of the Harlan D. Mills Award from the IEEE Computer Society.

Contents

Education and career

Zave graduated from Cornell University in 1970 with a bachelor's degree in English. 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 2001 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] and 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

Related Research Articles

Software engineering is an engineering approach to software development. A practitioner, called a software engineer, applies the engineering design process to develop software.

Michael Anthony Jackson is a British computer scientist, and independent computing consultant in London, England. He is also a visiting research professor at the Open University in the UK.

<span class="mw-page-title-main">Bertrand Meyer</span> French computer scientist

Bertrand Meyer is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the concept of design by contract.

Harlan D. Mills was professor of computer science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida. Mills' contributions to software engineering have had a profound and enduring effect on education and industrial practice. Since earning his Ph.D. in Mathematics at Iowa State University in 1952, Mills led a distinguished career.

Ekaterini Panagiotou Sycara is a Greek computer scientist. She is an Edward Fredkin Research Professor of Robotics in the Robotics Institute, School of Computer Science at Carnegie Mellon University internationally known for her research in artificial intelligence, particularly in the fields of negotiation, autonomous agents and multi-agent systems. She directs the Advanced Agent-Robotics Technology Lab at Robotics Institute, Carnegie Mellon University. She also serves as academic advisor for PhD students at both Robotics Institute and Tepper School of Business.

<span class="mw-page-title-main">Ian F. Akyildiz</span> President and CTO of the Truva Inc

Ian F. Akyildiz is a Turkish-American electrical engineer. He received his BS, MS, and PhD degrees in Electrical and Computer Engineering from the University of Erlangen-Nürnberg, Germany, in 1978, 1981 and 1984, respectively. Currently, he is the President and CTO of the Truva Inc. since March 1989. He retired from the School of Electrical and Computer Engineering (ECE) at Georgia Tech in 2021 after almost 35 years service as Ken Byers Chair Professor in Telecommunications and Chair of the Telecom group.

Elaine Jessica Weyuker is an ACM Fellow, an IEEE Fellow, and an AT&T Fellow at Bell Labs for research in software metrics and testing as well as elected to the National Academy of Engineering. She is the author of over 130 papers in journals and refereed conference proceedings.

Jock D. Mackinlay is an American information visualization expert and Vice President of Research and Design at Tableau Software. With Stuart Card, George G. Robertson and others he invented a number of information visualization techniques.

<span class="mw-page-title-main">Mateo Valero</span> Spanish computer architect (born 1952)

Mateo Valero Cortés is a Spanish computer architect. His research encompasses different concepts within the field of computer architecture, a discipline in which he has published more than 700 papers in journals, conference proceedings and books. Valero has received numerous awards, including the Eckert–Mauchly Award in 2007, for "extraordinary leadership in building a world class computer architecture research center, for seminal contributions in the areas of vector computing and multithreading, and for pioneering basic new approaches to instruction-level parallelism." He is the director of the Barcelona Supercomputing Center, which hosts the MareNostrum supercomputer.

The Ken Kennedy Award, established in 2009 by the Association for Computing Machinery and the IEEE Computer Society in memory of Ken Kennedy, is awarded annually and recognizes substantial contributions to programmability and productivity in computing and substantial community service or mentoring contributions. The award includes a $5,000 honorarium and the award recipient will be announced at the ACM - IEEE Supercomputing Conference.

<span class="mw-page-title-main">T.H. Tse</span> Hong Kong academic, professor and researcher

T.H. Tse is a Hong Kong academic who is a professor and researcher in program testing and debugging. He is ranked internationally as the second most prolific author in metamorphic testing. According to Bruel et al., "Research on integrated formal and informal techniques can trace its roots to the work of T.H. Tse in the mid-eighties." The application areas of his research include object-oriented software, services computing, pervasive computing, concurrent systems, imaging software, and numerical programs. In addition, he creates graphic designs for non-government organizations.

Axel van Lamsweerde is a Belgian computer scientist and Professor of Computing Science at the Universite catholique de Louvain, known for his work on requirements engineering and the development of the KAOS goal-oriented modeling language.

Yuanyuan (YY) Zhou is a Chinese and American computer scientist and entrepreneur. She is a professor of computer science and engineering at the University of California, San Diego, where she holds the Qualcomm Endowed Chair in Mobile Computing. Her research concerns software reliability, including the use of data mining to automatically detect software bugs and flexible system designs that can adapt to hardware platform variations. She is also the founder of three start-up companies, Emphora, Pattern Insight, and Whova.

Patrick Drew McDaniel is an American computer scientist and Tsun-Ming Shih Professor of Computer Sciences in the School of Computer, Data & Information Sciences at the University of Wisconsin-Madison. He was a William L. Weiss Professor of Information and Communications Technology in the School of Electrical Engineering and Computer Science and the director of the Institute for Networking and Security Research at the Pennsylvania State University. He has made several contributions in the areas of computer security, operating systems, and computer networks. McDaniel is best known for his work in mobile security as well as in electronic voting security, digital piracy prevention, and cellular networks. In recognition of his contributions and service to the scientific community, he was named IEEE Fellow and ACM Fellow. Prior to joining Penn State in 2004, he was a senior research staff member at AT&T Labs. He obtained his Ph.D. in Electrical Engineering and Computer Science from the University of Michigan, under the supervision of Atul Prakash.

Lionel Claude Briand is a software engineer, and professor at the University of Ottawa and University of Luxembourg. He is an IEEE Fellow, a Canada Research Chair in Intelligent Software Dependability and Compliance and a European Research Council Advanced grantee. His research foci are testing, verification, and validation of software systems; applying machine learning and evolutionary computation to software engineering; and software quality assurance, among others. He was vice-director of the University of Luxembourg's SnT - Interdisciplinary Centre for Security, Reliability and Trust from 2014 to 2019, and editor in chief of Empirical Software Engineering (Springer) from 2003 to 2016. In 2012, he was the recipient of the Harlan D. Mills Award. In 2022, he was the recipient of the ACM SIGSOFT Outstanding Research Award

Vijaykrishnan Narayanan is the A. Robert Noll Chair Professor of Computer Science and Engineering and Electrical Engineering, Evan Pugh University Professor and the Associate Dean for Innovation at The Pennsylvania State University. He also serves as the director of the Penn State Center for Artificial Intelligence Foundations and Engineering Systems, and as the interim director of limited submission for the University's Office of the Senior Vice President of Research.

<span class="mw-page-title-main">Gabriele Kotsis</span> Austrian university teacher

Gabriele Kotsis is an Austrian computer scientist. She is full professor in computer science at Johannes Kepler University (JKU), Linz, Austria, while leading the Department of Telecommunication and the division of Cooperative Information Systems. She was vice-rector for Research and the Advancement of Women, and longstanding chairwoman of Universities Austria's Policy Committee on Research. She is a distinguished member and elected president of the Association for Computing Machinery (ACM).

Nancy Rose Mead is an American computer scientist. She is known for her contributions to security, software engineering education and requirements.

Valérie Issarny was a Director of Research at the National Institute for Research in Digital Science and Technology (INRIA), France. Issarny was known for her research in middleware solutions for distributed collaborative services, including mobile services deployed over smartphones that interact with sensors.

Robyn R. Lutz is an American computer scientist whose research involves software engineering, including modeling and checking software requirements and software system safety. She is a professor of computer science at Iowa State University.

References

  1. ↑ Birthdate from OCLC, retrieved 2015-06-18.
  2. 1 2 3 4 5 Professional Biography, retrieved 2018-10-15.
  3. ↑ Pamela Zave at the Mathematics Genealogy Project
  4. ↑ 2017 Harlan D. Mills Award, retrieved 2018-10-15.
  5. ↑ ACM Fellow Award Citation, retrieved 2015-06-18.
  6. ↑ AT&T Announces Technology Award Winners, AT&T, March 17, 2010, retrieved 2015-06-18.
  7. ↑ Pamela Zave and Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology 2(4), 1993.
  8. ↑ Xie, Tao (2009–2013), The SIGSOFT Chronology: its Officers, Conferences, Awards, and more, ACM.
  9. ↑ Home Page of International Requirements Engineering Conference, retrieved 2015-06-18.
  10. ↑ 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
  11. ↑ AT&T CallVantage New Features, December 16, 2004, retrieved 2018-12-31.
  12. ↑ AT&T's CallVantage: Excellent Phone Service on the Cheap, May 23, 2005, retrieved 2018-12-31.
  13. ↑ Java Specification Request 359: SIP Servlet 2.0, retrieved 2018-12-31.
  14. ↑ Results of Search in US Patent Collection db for IN/Zave, retrieved 2019-01-02.
  15. ↑ Amyot, D.; Logrippo, L. (2004), "Directions in Feature Interaction Research" (PDF), Guest Editorial, Computer Networks, 45 (5): 563–567, doi:10.1016/j.comnet.2004.03.024 .
  16. ↑ Pamela Zave, Using lightweight modeling to understand Chord, ACM SIGCOMM Computer Communications Review 42(2), 2012. doi : 10.1145/2185376.2185383
  17. ↑ 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
  18. ↑ 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
  19. ↑ Interests Outside Work, retrieved 2018-10-15.
  20. ↑ "About the Artist". Zaveartquilts. Retrieved 2022-02-26.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.