Peter J. Denning

Peter James Denning (born January 6, 1942) is an American computer scientist and writer. He is best known for pioneering work in virtual memory, especially for inventing the working-set model for program behavior, which addressed thrashing in operating systems and became the reference standard for all memory management policies. He is also known for his works on principles of operating systems, operational analysis of queueing network systems, design and implementation of CSNET, the ACM digital library, and codifying the great principles of computing. He has written numerous influential articles and books, including an overview of fundamental computer science principles, computational thinking, and his thoughts on innovation as a set of learnable practices.

Early life and education
Denning was born January 6, 1942, in Queens, New York, and raised in Darien, Connecticut. He took an early interest in science, pursuing astronomy, botany, radio, and electronics while in grade school. At Fairfield Prep, he submitted home-designed computers to the science fair in 1958, 1959, and 1960. His second computer, which solved linear equations using pinball machine parts, won the grand prize.

He attended Manhattan College for a Bachelor in EE (1964) and then MIT for a PhD (1968). At MIT he worked on Project MAC and contributed to the design of the pioneering Multics operating system. His PhD thesis, "Resource allocation in multiprocess computer systems", introduced seminal ideas in working sets, locality, thrashing, and system balance.

Career and research
At Princeton University from 1968 to 1972, Denning wrote his classic book, Operating Systems Theory (1973), with E G Coffman. He collaborated with Alfred Aho and Jeffrey Ullman on optimality proofs for paging algorithms, and on a simple proof that compilers based on precedence parsing do not need to backtrack. At Purdue University (1972–1983) he supervised numerous PhD theses validating locality-based theories of memory management and extending the new mathematics of operational analysis of queueing networks. He co-founded CSNET. He became department head in 1979 and completed another book on computational models, Machines, Languages, and Computation, with Jack Dennis and Joe Qualitz.

At NASA Ames from 1983 to 1991, he founded the Research Institute for Advanced Computer Science (RIACS) and turned it into one of the first centers for interdisciplinary research in computational and space science.

At George Mason University from 1991 to 2002 he headed the Computer Science Department, was an associate dean and vice provost, and founded the Center for the New Engineer. The Center was a pioneer in web-based learning. He created a design course for engineers, called Sense 21, which was the basis of his project to understand innovation as a skill. He created a course on Core of Information Technology, the basis of his Great Principles of Computing project.

At Naval Postgraduate School since 2002, he heads the Computer Science Department, and directs the Cebrowski Institute for Innovation and Information Superiority. He chaired the faculty council.

Denning has served continuously as a volunteer in the Association for Computing Machinery (ACM) since 1967. In that time, he served as president, vice president, three board chairs, Member-at-Large, Editor of ACM Computing Surveys, and Editor of the monthly ACM Communications. He received seven ACM awards for service, technical contribution, and education. ACM presented him with a special award in June 2007 recognizing 40 years of continuous service.

Denning has received 26 awards for service and technical contributions. These include one quality customer service award, three professional society fellowships, three honorary degrees, six awards for technical contribution, six for distinguished service, and seven for education.

Denning's career has been a search for fundamental principles in multiple subfields of computing. He writes prolifically. From 1980 to 1982 he wrote 24 columns as ACM President, focusing on technical and political issues of the field. From 1985 to 1993 he wrote 47 columns on "The Science of Computing" for American Scientist magazine, focusing on scientific principles from across the field. Beginning in 2001 he has written quarterly "IT Profession" columns for Communications of the ACM, focusing on principles of value to practicing professionals.

Virtual memory
In 1970 he published a classic paper that displayed a scientific framework for virtual memory and the validating scientific evidence, putting to rest a controversy over virtual memory stability and performance.

In 1966 he proposed the working set as a dynamic measure of memory demand, and explained why it functioned using the locality idea introduced by Les Belady of IBM. His working set paper became a classic. It received an ACM Best paper award in 1968 and a SIGOPS Hall of Fame Award in 2005.

Operating system principles
In the early 1970s he collaborated with Ed Coffman Jr., on Operating Systems Theory, which became a classic textbook used in graduate courses and stayed in print until 1995. That book helped to erase doubts that the OS field could be approached as a science.

In the middle 1970s he collaborated with Jeffrey Buzen on operational analysis, extending Buzen's basic operational laws to deal with all queueing networks. The operational framework explained why computer performance models work so well, even though violating the traditional stochastic Markovian assumptions. It has become the preferred method for teaching performance prediction in computing courses.

In the early 1980s, he was one of the four founding principal investigators of the Computer Science Network (CSNET), sponsored by the National Science Foundation The other three were Dave Farber, Larry Landweber, and Tony Hearn. They led the development of a fully self-supporting CS community network that by 1986 included 165 sites and 50,000 users. CSNET was the key transitional stepping stone from the original ARPANET to the NSFNET and then the Internet. In 2009, the Internet Society awarded CSNET its prestigious Jon Postel award, recognizing its key role in bridging from the ARPANET to NSFNET.

Denning led the ACM Digital Library project 1992-97, which went live in 1997. The Association for Computing Machinery became the first professional society to offer a fully searchable library of everything it ever published.

Great Principles of Computing
In 1999, Denning expanded the search for fundamental principles to cover all of computing. The discovery of natural information processes in biology, physics, economics, materials, and other fields convinced him that the basic definitions of computation had to be modified to encompass natural information processes as well as artificial. He and his team have produced a draft framework.

The Great Principles framework revealed that "innovating" is a core practice of computing. Unable to find anyone who understood how to teach the skill of innovating, he joined with Bob Dunham and identified eight foundational practices of innovation. In 2011, they published The Innovator's Way, a book laying the eight essential practices of successful innovation.

In 2015, he and Craig H. Martell co-authored Great Principles of Computing, a slim volume which summarizes computer science principles which are fundamental to all technologies, in a form accessible to computer science students as well as those seeking a readable overview of the field.

In 2019, he and Matti Tedre published Computational Thinking as part of the "MIT Press Essential Knowledge" series of concise books, providing an overview of what computational thinking is, and its applications in scientific thought and investigation.

Computing education
Denning has been a major influence in computing education. In the early 1970s he led a task force that designed the first core course on operating systems (OS) principles. OS became the first CS core course which was not focused on pure mathematical theory, though it still used math freely as needed. In the mid-1980s he led a joint ACM/IEEE committee that described computing as a discipline with nine core functional areas and three cognitive processes, the basis of ACM Curriculum 1991. In the 1990s, he set out on a quest to codify the great principles of computing.

Denning maintains that computing is a science both of natural and artificial information processes. NSF designated him a Distinguished Education Fellow in 2007 to launch a movement to use the Great Principles framework for innovations in education and research. In 2009, ACM's SIGCSE (Special Interest Group on Computer Science Education) recognized his contributions with its lifetime service award.

Humor
Denning is an inveterate punster who frequently uses humor to get points across. Examples:


 * April Fool special section (when he was editor), ACM Communications (April 1984)
 * On Active and Passive Writing, a treatise exhorting students to write in the active voice
 * A Tale of Two Islands is a fable about a controversy in queueing theory over operational analysis, first published in 1991. Contained as an appendix to a 2006 overview of operational analysis

Quotes

 * Computation is the principle; the computer is the tool.
 * All speech is free. It's just the consequences that get you.
 * A request is not in the words you speak. It is in the listening of those who hear you.
 * Those who have devoted many years trying to make computers behave like brains have succeeded mainly in cultivating brains that think like computers!
 * Locality is a principle of nature. Caching works because our brains organize information by localities.
 * Innovation is not brilliant new ideas; it is new practice adopted by a community.
 * Solidarity, not software, generates collaboration.

Publications
Denning is the author or editor of 340 technical papers and eleven books. Books, a selection:
 * 1973, with Ed Coffman. Operating Systems Theory.  Prentice-Hall.
 * 1978, with Jack Dennis and Joe Qualitz. Machines, Languages, and Computation.  Prentice-Hall.
 * 1997, with Bob Metcalfe (eds.) Beyond Calculation: The Next 50 Years of Computing.  Copernicus Books.
 * 2001. The Invisible Future: The Seamless Integration of Technology in Everyday Life. McGraw-Hill.
 * 2010. The Innovator's Way: Essential Practices for Successful Innovation.   MIT Press.
 * 2015. Great Principles of Computing.   MIT Press.
 * 2019, with Matti Tedre. Computational Thinking.   MIT Press.

Articles, a selection:
 * 1968. "The Working Set Model for Program Behavior". ACM Communications (May).
 * 1970. "Virtual memory." ACM Computing Surveys (September).
 * 1970. "Thrashing: Its Causes and Prevention".
 * 1976. "Fault tolerant operating systems". ACM Computing Surveys (December)
 * 1978. with Jeff Buzen. "Operational Analysis of Queueing Network Models." ACM Computing Surveys (September).
 * 1980. "Working sets past and present". From IEEE Transactions Software Engineering, January 1980.
 * 1984, with Robert Brown. "Operating Systems".  Scientific American issue on software.
 * 1990, with Walter Tichy. "Highly parallel computation".  Science magazine, November.
 * 1992. "Educating a new engineer". ACM Communications (December).
 * 2006. "The Locality Principle". Chapter in Communication Networks and Systems (J Barria, Ed.). Imperial College Press.
 * 2007. "Computing is a natural science." ACM Communications (July).
 * 2009, with Peter Freeman. "Computing's Paradigm". ACM Communications (December).
 * 2010, with Fernando Flores and Peter Luzmore. "Orchestrating Coordination in Pluralistic Networks".  ACM Communications (March).

Personal life
He married Dorothy E. Denning in 1974, a noted computer security expert.