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, quantum computing, computer-aided design and testing, VLSI design, and reliable computer architecture. He was the founding director of Michigan's Advanced Computer Architecture Laboratory. He is the author of five books, including Computer Architecture and Organization, (McGraw-Hill, 3rd ed. 1998), Layout Minimization for CMOS Cells, (Kluwer, 1992), and Introduction to Digital Logic Design, (Addison-Wesley, 1993), as well as many technical papers. 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 Award 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:

* Algorithms and CAD tools for designing and testing digital circuits and systems

* Computer networks, including ad hoc and embedded networks, for various applications

* Quantum computation, emphasizing quantum circuit analysis, synthesis and simulation

* Computer architecture, especially for fault-tolerant and safety-critical applications

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

Research Assistantships: Openings for graduate student research assistants (RA's) are available from time to time. RA applicants should be already admitted to one of the EECS Department's degree programs, normally Computer Science and Engineering (CSE) with a hardware or VLSI emphasis. A University of Michigan student who is interested in 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 as a graduate student RA, your first step should be to apply for admission to the graduate program here. For detailed information about Michigan's various MS and PhD programs in EECS, including admission requirements, application procedures, and financial aid, go to the EECS Graduate Admissions web site.

First-year financial aid is available to new graduate students through the EECS Dept. in the form of fellowships and teaching assistantships (known here as graduate student instructors or GSIs). Research assistantships, which are awarded by individual professors or labs, are sometimes offered to first-year graduate students. PhD-bound students are usually supported as RAs in their second and subsequent years. Admission to the MS/PhD program is very competitive. Those who receive admission and financial aid typically have outstanding 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 academic achievements, publications, industrial experience (where applicable), class rank, and PhD research potential.

Summer Internships: 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 being maintained, and all the data we have available concerning the benchmarks is at that website. What appear to be missing links refer to non-existent data.

SELECTED PUBLICATIONS

For a flavor of the research being conducted in our lab, see the following papers which you can download in pdf format:

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 science is a revolutionary new way to compute and communicate, which has great long-term potential. (pdf).
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, 35 pages, Jan. 2008. We propose the probabilistic transfer matrix (PTM) framework 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)
K.N. Patel, I.L. Markov and J.P. Hayes “Optimal 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)
N. Kandasamy, J. P. Hayes and B.T. Murray, "Time-constrained failure diagnosis in distributed embedded systems: application to actuator diagnosis," IEEE Trans. on Par. & Distrib. Systems, vol. 16, pp.258-270, March 2005. This work covers the testing of embedded and networked devices of the kind found in advanced automotive applications such as steer-by-wire. (pdf)
S. Cho and J.P. Hayes, "Impact of mobility on connection stability in ad hoc networks," Proc. Wireless Communic. & Networking Conf., New Orleans, vol. 3, pp.1650-1656, March 2005. In this rather mathematical paper, we analyze the effect of node motion on internode wireless communication in large unstructured wireless networks composed of mobile computer nodes. (pdf)
G.F. Viamontes, I.L. Markov and J.P. Hayes, "Is quantum search practical?" Computing in Science & Engineering, vol. 7, no 3, pp.62-70, May-June 2005. (pdf). This paper examines Grover's Algorithm for searching an unstructured database, one of the key quantum techniques that is provably faster than any corresponding non-quantum algorithm.
J.P. Hayes, I. Polian and B. Becker, "A model for transient faults in logic circuits," Int’l Workshop on Design and Test, Dubai, UAE, Nov. 2006. Transient (soft) errors due to environmental and manufacturing effects are an increasing problem in ICs. This paper proposes a general, technology-independent model called the single transient fault (STF) model to represent transient behavior in logic circuits. (pdf)

CURRENT GRADUATE STUDENTS

Sungsoon Cho (sungcho@eecs.umich.edu)

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

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

Ken Zick (kzick@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: Qualcomm Inc., San Diego, CA

Feng Gao (feng.gao@amd.com)

Graduated 2005. Thesis title: "Gate-level techniques for low power and reliable circuit design."

Current position: Advanced Micro Devices Inc., Boston, MA.

Smita Krishnaswamy (smita@eecs.umich.edu)

Graduated 2007. Thesis title: "Design, analysis, and test of logic circuits under uncertainty."

Current position: IBM Research, Yorktown Heights, NY.

Rajesh Venkatasubramanian (vrajesh@vmware.com)

Graduated 2005. Thesis title: "Fault tolerance in mobile embedded computer networks."

Current position: VMware Inc., Palo Alto, CA

George Viamontes (gviamont@eecs.umich.edu)

Graduated 2006. Thesis title: " Efficient quantum circuit simulation."

Current position: Lockheed-Martin, Cherry Hill, NJ

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, and Nagarajan Kandasamy.