JOHN P. HAYES

Claude E. Shannon Professor of Engineering Science

Department of Electrical Engineering and Computer Science

Computer Science and Engineering Division
CSE Bldg. Room 4713
University of Michigan
2260 Hayward Street
Ann Arbor, MI 48109-2121, USA.

Telephone: +1 (734) 763-0386
Fax: +1 (734) 763-4617
E-mail: jhayes@eecs.umich.edu

BACKGROUND

Since 1982, John P. Hayes has been a professor in the EECS Department at the University of Michigan, where he holds the endowed Claude E. Shannon Chair of Engineering Science. Prior to that he was on the faculty of the University of Southern California. He also worked in industry for a couple of years, and has held visiting positions at Stanford University, McGill University, the University of Montreal, Logicvision Inc. and the University of Freiburg. Professor Hayes teaches and conducts research in the general area of computer science and engineering, with specific interests in computer hardware design, computer-aided design and testing, VLSI circuits, reliable computer architecture, and quantum computing. He was the founding director of Michigan's Advanced Computer Architecture Laboratory. He is the author of six books, including Computer Architecture and Organization, (McGraw-Hill, 3rd ed. 1998), Layout Minimization for CMOS Cells, (Kluwer, 1992), and Quantum Circuit Simulation (Springer, 2009), as well as over 275 technical papers and several patents. He obtained his B.E. degree in electrical engineering from the National University of Ireland, Dublin, and his M.S. and Ph.D. degrees from the University of Illinois at Urbana-Champaign. He received the University of Michigan's Distinguished Faculty Award in 1999 and the Alexander von Humboldt Foundation's Research Prize in 2004. Professor Hayes is a Fellow of both IEEE and ACM.

RESEARCH

Areas of Interest: Our group is currently conducting research related to the following topics:

* Techniques and CAD tools for designing and testing VLSI circuits

* Computer architecture, especially for high-reliability applications

* Probabilistic aspects of conventional and quantum computation

* Adaptive systems using reconfigurable platforms such as FPGAs

For more information on the group's recent research interests, see Selected Publications below.

Research Assistantships: Openings for graduate student research assistants (RAs) are available from time to time in our group. RA applicants should apply to (or be already admitted to) one of the EECS Department's PhD programs, normally Computer Science and Engineering (CSE) with a Computer Hardware or VLSI/CAD emphasis. A current University of Michigan student who is seeking an RA position should send me an e-mail message with a copy of his/her detailed CV. If you are not already at Michigan but are interested in joining the group, you should first plan to apply for admission here. For information about Michigan's various graduate programs in EECS, including admission requirements, application procedures, deadlines, etc., go to the EECS Graduate Admissions web site.

Financial Aid:  This is available to EECS grad students in the form of fellowships, research assistantships, and teaching assistantships. New students are admitted at two levels, MS and PhD, depending on their qualifications. Students entering with a BS degree may be admitted at either level; however, only those with outstanding qualifications are admitted at the PhD level. Such students will normally obtain an MS en route to the PhD. Applicants who already have a relevant MS degree can only be admitted at the PhD level.

An exceptionally attractive feature of our program is that students admitted at the PhD level are guaranteed full financial support throughout their MS/PhD studies, as long as they are making satisfactory progress. PhD-bound students are typically supported as fellows and/or as RAs in their first year; they are supported as RAs in their second and subsequent years. Admission at the MS level is not accompanied by financial aid, although opportunities for financial support exist, especially for domestic students.

It should be noted that admission to the graduate programs in EECS at Michigan is especially competitive at the PhD level. Those who are admitted typically have excellent GPA and GRE scores, rank near the top of their graduating class at a highly-ranked university, and have strong and credible letters of support that document their specific accomplishments, including (where applicable) academic achievements, publications, industrial experience, and PhD research potential.

Summer Internships:   Unfortunately, I cannot provide summer internships for undergraduate students from other universities, and applications for such internships will be discarded.  

Benchmark Circuits: For information about the high-level versions of the ISCAS logic circuits that we developed circa 1996, go to the benchmark website. The site is no longer maintained, and all the data we have available concerning the benchmarks is at that website, and publically available. What may appear to be missing links refer to non-existent data.  

QuIDDPro Simulator: QuIDDPro is a fast, scalable, and easy-to-use computational interface for generic quantum circuit simulation. It supports state vectors, density matrices, and related operations using the Quantum Information Decision Diagram (QuIDD) which we developed. The book Quantum Circuit Simulation published by Springer in 2009, and available at amazon.com, contains the QuIDDPro manual and describes the algorithms used by QuIDDPro. For further information, including how to access the software, click here.

TEACHING

Winter 2010:  EECS 203:  “Discrete mathematics for computer science.”

Fall 2010:       EECS 579:  “Digital system testing.” 

Winter 2011: On sabbatical. 

Fall 2011:       EECS 478:  “Logic circuit synthesis and optimization.”

Winter 2012: EECS 579:  “Digital system testing.” 

SELECTED PUBLICATIONS

     For a flavor of the research being conducted in our lab, see the following papers which you can download in pdf format. Also see the book Quantum Circuit Simulation by G.F. Viamontes, I.L. Markov and J.P. Hayes (Springer 2009).

1. J. P. Hayes, “Tutorial: basic concepts in quantum circuits.” These are the slides of an invited talk presented at the 40^th Design Automation Conf, Anaheim, CA, June 2003. Quantum information processing is a revolutionary new way to compute and communicate, which has great long-term potential. (pdf)
2. S. Krishnaswamy, I.L. Markov and J.P. Hayes, “Probabilistic transfer matrices in symbolic reliability analysis of logic circuits.” ACM Trans. on Design Automation of Electronic Systems vol. 13, article 8, Jan. 2008. We propose here the probabilistic transfer matrix (PTM) concept to capture nondeterministic behavior in logic circuits. PTMs provide a concise description of both normal and faulty behavior, and are well-suited to reliability and error susceptibility calculations. (pdf)
3. K.N. Patel, I.L. Markov and J.P. Hayes, “Optimal synthesis of linear reversible circuits.” Quantum Information and Computation, vol. 8, pp.282-294, March 2008. This paper considers the synthesis of an important class of reversible circuits with applications to quantum computation. We give an algorithm that is optimal up to a multiplicative constant, and Θ (log n) times faster than previous methods. (pdf)
4. K.M. Zick and J.P. Hayes, “On-line sensing for healthier FPGA systems,” Proc. 18th Symp. on Field-Programmable Gate Arrays (FPGA), pp.239–248, Monterey, CA, Feb. 2010. Random physical variations and noise are growing challenges for advanced electronic systems. FPGAs can, in principle, adapt to these phenomena, but two problems must be considered which this paper addresses: how to efficiently characterize random variations, and how to perform the subsequent adaptation efficiently. (pdf)

5. C-C. Yu and J.P. Hayes, “Scalable and accurate estimation of probabilistic behavior in sequential circuits,” Proc. 28th VLSI Test Symp. (VTS), pp.165–170, Santa Cruz, CA, April 2010. We present a  method for efficient simulation of signal probabilities in sequential logic circuits. It can be used  for analyzing soft error effects at the logic level, estimating circuit reliability, and the like. (pdf)

6. I. Polian, J.P. Hayes, S.M. Reddy and B. Becker, “Modeling and mitigating transient errors in logic circuits,” IEEE Trans. on Dependable & Secure Computing, pp.537–547, July-Aug.  2011. Transient or soft errors caused by environmental effects are a growing concern in micro- and nanoelectronics. This paper presents a novel framework for modeling and mitigating the effects of such errors in digital circuits. (pdf)

CURRENT GRADUATE STUDENTS

Armin Alaghi (alaghi@eecs.umich.edu)

Sean Chen (tehsuan@eecs.umich.edu)

Dae Young Lee (duelee@eecs.umich.edu)

Chien-Chih Yu (ccyu@eecs.umich.edu)

RECENTLY GRADUATED Ph.D. STUDENTS

Jia-yi Chen (jiayi@eecs.umich.edu)

Graduated 2006. Thesis title: “Design of low-power super-regenerative receivers.”

Current position: Atheros Communications, San Jose, CA

Sungsoon Cho (sungcho@umich.edu)

Graduated 2009. Thesis title: “Adaptive management schemes for mobile ad hoc networks.”

Current position:  Room 77, Inc., Sunnyvale, CA

Smita Krishnaswamy (smita@eecs.umich.edu)

Graduated 2008. Thesis title: “Design, analysis, and test of logic circuits under uncertainty.”

Current position: Columbia University and IBM Research, NY.

George Viamontes (gviamont@eecs.umich.edu)

Graduated 2006. Thesis title: “Efficient quantum circuit simulation.”

Current position: Lockheed-Martin, Cherry Hill, NJ

Kenneth Zick (kzick@eecs.umich.edu)

Graduated 2010. Thesis title: “Physically-adaptive computing via introspection and self-optimization in reconfigurable systems.”

Current position: USC Information Sciences Institute, Arlington, VA

And not quite so recently:

Ayee Goundan, Thirumalai Sridhar, John P. Shen, Raif M. Yanney, M. S. Krishnan, Younggap You, Debashis Bhattacharya, Shantanu Dutt, Robert L. Maziasz, T. C. Lee, Ram Raghavan, Brian T. Murray, R. D. (Shawn) Blanton, Hung-Kuei Ku, Michael J. Batek, Krish Chakrabarty, Mark Hansen, Avaneendra Gupta, Amit Chowdhary, Hakan Yalcin, Hussain Al-Asaad, Hyungwon (Will) Kim,  Joonhwan Yi, Nagarajan Kandasamy, Feng Gao, Rajesh Venkatasubramanian.

Updated September 2011