Ken Stevens Ken Stevens

Associate Professor

UNIVERSITY OF UTAH
ELECTRICAL AND COMPUTER ENGINEERING DEPT.
50 S CENTRAL CAMPUS DR RM 3280
SALT LAKE CITY, UTAH   84112-9206

Office: Merrill Engineering Building, Rm 4506
Tel.: +801-585-9176     Fax: +801-581-5281
Email: kstevens@ece.utah.edu

[classes] [publications] [patents] [ispell] [synthesis] [verification] [post office chip] [RAPPID chip]

Education

Ph.D., Computer Science, 1994, University of Calgary
M.S., Computer Science, 1984, University of Utah
B.S., Computer Science, 1982, University of Utah
B.A., Medical Biology, 1982, University of Utah

Professional Experience

Associate Professor, University of Utah, Electrical and Computer Engineering Dept., 2005-
Senior Scientist, Intel's Strategic CAD Labs, Hillsboro Oregon, 1996-2005
Head Coach, Glencoe High School Alpine Ski Team, 1998-2005
Founder and Owner, KD Stevens LLC, (software services company) 1989-2005
Adjunct Professor, Air Force Institute of Technology, ECE Dept., 1996-2003.
Assistant Professor, Air Force Institute of Technology, ECE Dept., 1994-1996.
HP Resident Fellow, University of Calgary, 1991-1994
Hewlett-Packard Labs, Palo Alto, California, 1988-1991
Fairchild Labs for AI Research & Schlumberger Palo Alto Research, 1984-1988


Teaching Activities

University of Utah

o Computer Design Lab: ECE/CS 3710
o Computer Engineering Junior Seminar: CE 3991
o Senior Pre-Thesis and Project: CE 3992
o Computer Engineering Senior Project: CE 4710
o Senior Project and Thesis I: ECE 4900
o Senior Project and Thesis II: ECE 4910
o Digital VLSI Design: ECE/CPSC 5710/6710
o Digital IC Project Testing: ECE/CPSC 6712
o Advanced Digital VLSI: ECE/CPSC 6770
o Designing Performance and Power Models for Communication Networks: ECE 5950/6950
o Formal Verification and Model Checking of Hardware: ECE 6960
o Relative Timed Asynchronous Design ECE/CS 5960/6961

Air Force Institute of Technology

o Asynchronous Systems and Circuits: EENG 899
o Temporal Logic and Concurrent Processes: EENG 786/899
o VLSI Design: EENG 695
o Advanced Topics in VLSI: EENG 795

Research

Please visit our CMOS Research Group Web Page on Next Generation Circuits and Systems.

VLSI, asynchronous circuit design and architecture, timing analysis, and formal verification.


Links