Education
- Ph.D., Computer Science, University of Calgary
- M.S., Computer Science, University of Utah
- B.S., Computer Science, University of Utah
- B.A., Medical Biology, University of Utah
Research Summary
VLSI, asynchronous circuit design and architecture, timing analysis, and formal verification.
Biography
Ken Stevens received the B.A. degree in biology and the B.S. and M.S. degrees in computer science from the University of Utah, Salt Lake City, in 1982, 1982, and 1984, respectively, and the Ph.D. degree in computer science from the University of Calgary, Calgary, Calgary, Canada, in 1994.
He is an Associate Professor with the University of Utah. Prior to this position, he worked with the Strategic CAD Lab, Intel, Hillsboro, OR, an Assistant Professor with the Air Force Institute of Technology, with Hewlett Packard Labs, and with Fairchild Labs, AI Research. His research interests include asynchronous circuits, VLSI, architecture and design, hardware synthesis and veriļ¬cation, and timing analysis.