Education
Savage earned his Doctor of Philosophy in electrical engineering from the Massachusetts Institute of Technology in 1965, under the supervision of Irwin M. Jacobs.
(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
Savage earned his Doctor of Philosophy in electrical engineering from the Massachusetts Institute of Technology in 1965, under the supervision of Irwin M. Jacobs.
After leaving Massachusetts Institute of Technology, he worked briefly for Bell Laboratories before joining the Brown faculty in 1967. He is the author of the book Models of Computation: Exploring the Power of Computing (Addison-Wesley, 1998). Savage was named an Association for Computing Machinery (ACM) Fellow for "fundamental contributions to theoretical computer science, information theory, and Very-large-scale integration design, analysis and synthesis".
He is a life fellow of the Institute of Electrical and Electronics Engineers, and a fellow of the American Association for the Advancement of Science.
He was appointed as An Wang professor in 2011.
(The focus of this book is on finite problems and concrete...)
Institute of Electrical and Electronics Engineers.