Pamela Zave's Research Home Page

Contact Information:

AT&T Laboratories--Research
180 Park Avenue, Room D205
Florham Park, New Jersey 07932

pamela AT research DOT att DOT com

+1 973 360 8676

Professional Biography

Research Interests (Papers and Talks Included)

Internet Architecture

Attend the Summer School on Formal Methods and Networks at Cornell University, June 2013!

Multiparadigm Modeling and Verification

Compositional Telecommunication Services

Foundations of Requirements Engineering

Publications (Selected)

I am honored to be chair of IFIP Working Group 2.3 on Programming Methodology. Six winners of the A. M. Turing Award are past or present members.


Now available: Software Requirements and Design: The Work of Michael Jackson.

This book spans the career of one of software engineering's most important figures. Half the chapters are an anthology of Jackson's past writings, exemplifying the clarity, wisdom, and wit for which he is so well known. The other half of the book is new: Jackson and his colleagues give their latest views on requirements, specifications, design, problem frames, and programming methods. Although many people have observed that software engineering should be more of an engineering discipline, few have drawn from the wider engineering literature more deeply or usefully than Jackson. Because of his work, many software engineers have a better perspective on their software and the real world it is intended to serve. Click here to order.

Personal Information

Last updated March 2013.