John P. Hayes

John P. Hayes received the B.E. degree from the National University of Ireland, Dublin, and the M.S. and Ph.D. degrees from the University of Illinois, Urbana-Champaign, all in electrical engineering. While at the University of Illinois, he participated in the design of the ILLIAC III computer. In 1970 he joined the Operations Research Group at the Shell Benelux Computing Center in The Hague, where he worked on mathematical programming and software development. From 1972 to 1982 he was a faculty member of the Departments of Electrical EngineeringâSystems and Computer Science of the University of Southern California, Los Angeles. Since 1982 he has been with the Electrical Engineering and Computer Science Department of the University of Michigan, Ann Arbor, where he holds the Claude E. Shannon Endowed Chair in Engineering Science.Professor Hayes was the Founding Director of the University of Michiganâs Advanced Computer Architecture Laboratory (ACAL). He was the Technical Program Chairman of the 1977 International Conference on Fault-Tolerant Computing (FTCS) and the 1991 International Computer Architecture Symposium (ISCA). He has authored over 250 technical papers, several patents, and five books, including Layout Minimization for CMOS Cells, (Kluwer, 1992; with R. L. Maziasz), Introduction to Digital Logic Design (Addison-Wesley, 1993), and Computer Architecture and Organization, (3rd edition, McGraw-Hill, 1998). He has served as editor of various technical journals, including the Communications of the ACM, the IEEE Transactions on Parallel and Distributed Systems and the Journal of Electronic Testing. Professor Hayes is a fellow of both IEEE and ACM, and a member of Sigma Xi. He received the University of Michiganâs Distinguished Faculty Achievement Award in 1999 and the Humboldt Foundationâs Research Award in 2004. His current teaching and research interests are in the areas of computer-aided design, verification, and testing; VLSI circuits; computer architecture; fault-tolerant embedded systems; ad-hoc computer networks; and quantum computing.