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 with a bachelor's degree in English, in 1970. 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] 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-based approach to software development. A software engineer is a person who applies the engineering design process to design, develop, test, maintain, and evaluate computer software. The term programmer is sometimes used as a synonym, but may emphasize software implementation over design and can also lack connotations of engineering education or skills.

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 idea 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.

<span class="mw-page-title-main">Simon S. Lam</span> American computer scientist and academic (born 1947)

Simon S. Lam is an American computer scientist and Internet pioneer. He retired in 2018 from The University of Texas at Austin as Professor Emeritus and Regents' Chair Emeritus in Computer Science #1. He made seminal and important contributions to transport layer security, packet network verification, as well as network protocol design, verification, and performance analysis.

Software visualization or software visualisation refers to the visualization of information of and related to software systems—either the architecture of its source code or metrics of their runtime behavior—and their development process by means of static, interactive or animated 2-D or 3-D visual representations of their structure, execution, behavior, and evolution.

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 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.

<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.

Carlo Ghezzi is an emeritus professor and former chair of software engineering at the Politecnico di Milano, Italy, and an adjunct professor at the Università della Svizzera italiana (USI), Switzerland. At the Politecnico, he has been the Rector's Delegate for research, department chair, head of the PhD program, and member of the academic senate and of the board of governors of Politecnico.

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.

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.

Lionel Claude Briand, born in Paris, France, on November 21, 1965, 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

<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.

<span class="mw-page-title-main">Yannis Smaragdakis</span> American computer scientist

Yannis Smaragdakis is a Greek-American software engineer, computer programmer, and researcher. He is a professor in the Department of Informatics and Telecommunications at the University of Athens. He is the author of more than 130 research articles on a variety of topics, including program analysis, declarative languages, program generators, language design, and concurrency. He is best known for work in program generation and program analysis and the Doop framework.

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.