Professor Savage earned his PhD in Electrical Engineering at MIT in 1965 specializing in coding and information theory. He joined Bell Laboratories in 1965 and the faculty of the Division of Engineering at Brown in 1967. In 1979 he co-founded the Department of Computer Science and served as its second chair from 1985 to 1991. By the early 1970s his research interests changed to theoretical computer science. His current research focus is computational nanotechnology, reliable computation with unreliable components, and cybersecurity. He is a Fellow of AAAS and ACM, a Life Fellow of IEEE, and a Guggenheim Fellow. He served as a Jefferson Science Fellow during the 2010 academic year in the US State Department.
Professor Savage has been heavily involved in departmental, faculty and university affairs. His recent assignments include Chair and Member of the Nominations Committee (2010-2013), Chair of the Faculty (2001-2002), Faculty Officer (2000-2003), Chair of the Task Force on Faculty Governance (2002-2003) that revised the faculty committee structure in one year, member of the Academic Priorities Committee (2002-2003), Chair of the Search Committee for the Vice President for Public Affairs and University Relations (2003-2004), and President of the Faculty Club Board of Managers (1998-2001). He is a recipient of the President's Award for Excellence in Faculty Governance.
Ranjan, Desh, Savage, John, Zubair, Mohammad Upper and lower I/O bounds for pebbling r-pyramids. Journal of Discrete Algorithms/Journal of Discrete Algorithms. 2012; 14 : 2-12. |
Ranjan, Desh, Savage, John, Zubair, Mohammad Strong I/O Lower Bounds for Binomial and FFT Computation Graphs. Lecture Notes in Computer Science/Automata, Languages and Programming. 2011; : 134-145. |
Ranjan, Desh, Savage, John, Zubair, Mohammad Upper and Lower I/O Bounds for Pebbling r-Pyramids. Lecture Notes in Computer Science/Automata, Languages and Programming. 2011; : 107-120. |
Savage, John E., Zubair, Mohammad Cache-optimal algorithms for option pricing. ACM Transactions on Mathematical Software/ACM Transactions on Mathematical Software. 2010; 37 (1) : 1-30. |
Rachlin, Eric, Savage, John E. Stochastic nanoscale addressing for logic. 2010 IEEE/ACM International Symposium on Nanoscale Architectures/2010 IEEE/ACM International Symposium on Nanoscale Architectures. 2010; |
Savage, John E., Zubair, Mohammad Evaluating Multicore Algorithms on the Unified Memory Model. Scientific Programming/Scientific Programming. 2009; 17 (4) : 295-308. |
Rachlin, Eric, Savage, John E. A framework for coded computation. 2008 IEEE International Symposium on Information Theory/2008 IEEE International Symposium on Information Theory. 2008; |
Savage, John E., Zubair, Mohammad A unified model for multicore architectures. Proceedings of the 1st international forum on Next-generation multicore/manycore technologies - IFMT '08/Proceedings of the 1st international forum on Next-generation multicore/manycore technologies - IFMT '08. 2008; |
Rachlin, Eric, Savage, John Analysis of Mask-Based Nanowire Decoders. IEEE Transactions on Computers/IEEE Transactions on Computers. 2008; 57 (2) : 175-187. |
Savage, John E. Computing at the Nanoscale. 2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems/2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems. 2008; |
Rachlin, Eric, Savage, John E. Nanowire addressing with randomized-contact decoders. Theoretical Computer Science/Theoretical Computer Science. 2008; 408 (2-3) : 241-261. |
Rachlin, E., Savage, J.E. Nanowire Addressing in the Face of Uncertainty. IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06)/IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06). 2006; |
Rachlin, Eric, Savage, John E. Nanowire addressing with randomized-contact decoders. Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06/2007 IEEE/ACM International Conference on Computer-Aided Design. 2006; |
Rachlin, Eric, Savage, John Nanowire Addressing with Randomized-Contact Decoders. 2006 IEEE/ACM International Conference on Computer Aided Design/2007 IEEE/ACM International Conference on Computer-Aided Design. 2006; |
Savage, John E., Rachlin, Eric, DeHon, André, Lieber, Charles M., Wu, Yue Radial addressing of nanowires. JETC/JETC. 2006; 2 (2) : 129-154. |
Rachlin, E., Savage, J.E., Gojman, B. Analysis of a Mask-Based Nanowire Decoder. IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05)/IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05). 2005; |
Gottlieb, Lee-Ad J., Savage, John E., Yerukhimovich, Arkady Efficient Data Storage in Large Nanoarrays. Theory of Computing Systems/Theory of Computing Systems. 2005; 38 (4) : 503-536. |
Gojman, Benjamin, Rachlin, Eric, Savage, John E. Evaluation of design strategies for stochastically assembled nanoarray memories. JETC/JETC. 2005; 1 (2) : 73-108. |
Gojman, B., Rachlin, E., Savage, J.E. Decoding of stochastically assembled nanoarrays. IEEE Computer Society Annual Symposium on VLSI/IEEE Computer Society Annual Symposium on VLSI. 2004; |
Savage, J.E. Realizing stochastically assembled nanoarrays. Conference Record of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computers, 2004./Conference Record of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computers, 2004.. 2004; |
A recurring theme in Prof. Savage's work is the development of fundamental limits on computation, a theme that emerged in his study of the complexity of decoders for error correcting codes. His interests also include the design and analysis of algorithms, which has been expressed in several areas including serial and parallel computer aided design, and distributed computing for scientific computation. His more recent research includes computational nanotechnology and coded computation. His current focus is on cybersecurity policy and technology.
John Savage began his research career as a coding and information theorist within electrical engineering. The empirical observation that decoders for error-correcting codes are much more complex than encoders propelled him to investigate the complexity of decoders. This naturally led to a study of tradeoffs between computational resources and the study of circuit complexity, a fundamental computational measure in terms of which tradeoffs can be expressed. Much of this early work was captured in his 1976 book, The Complexity of Computing, the first textbook on circuit complexity. It made evident the importance of circuit complexity to theoretical computer science. He co-authored a computer literacy textbook with two undergraduates in the mid-1980s and in 1998 authored Models of Computation , a nearly comprehensive introduction to theoretical computer science.
A recurring theme in Prof. Savage's work is the development of fundamental limits on computation, a theme that emerged in the study of decoder complexity. It has been expressed in the development of lower bounds, whether they be on a single resource, such as circuit size or depth, or expressed as tradeoffs between computational resources, such as space and time in serial computation, area and time in VLSI computation, or primary storage capacity and I/O operations in I/O-limited computations. It has also been seen in the classification of problems by their membership in traditional complexity classes, such as P, NP, and BPP. Another recurring theme has been the design and analysis of algorithms, which has been expressed in several areas including serial and parallel computer-aided design, distributed computing for scientific computation, and his recent work on computational nanotechnology. The challenge of the latter area is to produce deterministic computing elements when the assembly process is stochastic and unpredictable. Computer architecture, probability theory, and complexity analysis play important roles here. Computing with unreliable elements and multi-core computation are recent areas of interest. Cybersecurity policy and technology are new research interests that emerged from his year in the U.S. Department of State as a Jefferson Science Fellow, 2009-2010.
View My Full Publication List Here
Year | Degree | Institution |
---|---|---|
1965 | PhD | Massachusetts Institute of Technology |
1961 | BS | Massachusetts Institute of Technology |
Jefferson Science Fellowship, US State Department, 2009.
Fellow, American Association for the Advancement of Science (AAAS), 1997
Fellow, Association of Computing Machinery (ACM), 1996
Life Fellow, Institute of Electrical and Electronics Engineers (IEEE), 1992
Guggenheim Fellowship 1973-1974
Fulbright-Hays Research Award, 1973-1974
Name | Title |
---|---|
Preparata, Franco | An Wang Professor Emeritus of Computer Science |
Reiss, Steven | Professor of Computer Science |
Jefferson Science Fellow, US State Department, 2009.
Fellow, American Association for the Advancement of Science (AAAS), 1997
Institute of Electrical and Electronics Engineers (IEEE) Golden Core Member, 1996
Fellow, Association of Computing Machinery (ACM), 1996
Life Fellow, IEEE, 1992
Senior Member, IEEE, 1991
Member, Sigma Xi, 1961
Member, Eta Kappa Nu, 1960
Member, Tau Beta Pi, 1960
My teaching has been primarily in the area of theory of computation but has included analysis of algorithms, introduction to scientific programming, operating systems, computer architecture, information theory and communication theory, and most recently, cybersecurity and international relations.
CSCI 1010 - Theory of Computation |
CSCI 1800 - Cybersecurity and International Relations |
EMCS 2600 - The Future of Cybersecurity: Technology and Policy |