Ken Stevens portrait
  • Adjunct Professor, School Of Computing
  • Professor, Elect & Computer Engineering


  • 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.


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.