Background
Savage, John Edmund was born on September 19, 1939 in Lynn, Massachusetts, United States. Son of Edmund J. and Eldora A. (Guay) Savage.
(The focus of this book is on finite problems and concrete...)
The focus of this book is on finite problems and concrete computational models. It covers the traditional topics of formal languages, automata and complexity classes, as well as an introduction to the more modern topics of space-time tradeoffs, memory hierarchies, parallel computation, the VLSI model, and circuit complexity. These topics are integrated throughout the book as illustrated by the early introduction of P-complete and NP-complete problems. Models of Computation provides the first textbook treatment of space-time tradeoffs and memory hierarchies. It gives a comprehensive introduction to computational complexity as well as a brief but modern coverage of circuit complexity. Parallelism is integrated throughout the book.
http://www.amazon.com/gp/product/0201895390/?tag=2022091-20
researcher computer science educator
Savage, John Edmund was born on September 19, 1939 in Lynn, Massachusetts, United States. Son of Edmund J. and Eldora A. (Guay) Savage.
Standard Chartered Bank, Massachusetts Institute of Technology, 1962. Master of Science, Massachusetts Institute of Technology, 1962. Doctor of Philosophy, Massachusetts Institute of Technology, 1965.
Member technical staff Bell Telephone Laboratories, Holmdel, New Jersey, 1965-1967. Professor computer science Brown University, Providence, since 1967, chairman department computer science, 1985-1991. Visiting professor Technology University Eindhoven, 1973—1974, University Paris, 1980—1981, Warwick University, 1991—1992, Ecole Polytechique, 2004—2005.
Visiting Institute National Research Information Automatic, Rocquencourt, France. Consultant in field.
(The focus of this book is on finite problems and concrete...)
Author: The Complexity of Computing, 1977. Author: (with others) The Mystical Machine, 1986. Author: Models of Computation: Exploring the Power of Computing, 1996.
Editor (with Thomas Knight): Advanced Research in Very-large-scale integration and Parallel Systems, 1992. Chairman editorial board Computing Research News, 1990-1996, member editorial board Journal Computer and Systems Sciences, since 1993, patentee data scrambler, 1970, means and methods for generating permutation of a square, 1976, stochastic assembly of sublithographic interfaces, 2005, sublithographic nanoscale memory architecture, 2005.
Member Massachusetts Institute of Technology Corporation visiting committee department electrical engineering and computer science, 1991-2002. Fellow American Association for the Advancement of Science, Institute of Electrical and Electronics Engineers (life), Association Computing Machinery (Jefferson Science fellow 2009-2010). Member Computing Research Association (board directors 1990-1996), Sigma Xi, Tau Beta Pi.
Married Patricia Joan Landers, January 29, 1966. Children: Elizabeth, Kevin, Christopher, Timothy.