Graduate Computer Engineering


At the University of Utah, our Computer Engineering program is a gateway to boundless possibilities. Our cutting-edge curriculum, world-class faculty, and state-of-the-art facilities empower students to explore the frontiers of technology. Our students embark on an exciting journey of discovery of design and invention that includes innovative software development, microprocessor design, architectures and embedded systems, and semiconductors.

Students gain practical experience that sets them apart in a competitive job market through hands-on projects and industry collaborations. The nurturing environment fosters creativity, critical thinking, and problem-solving skills. Whether you dream of leading tech giants or launching your own startup, a degree in Computer Engineering from the University of Utah equips you with the expertise and connections to achieve your aspirations in this ever-evolving digital landscape. Join us, and let your career soar to new heights.

Computer Engineering Faculty and Research

Suggested Courses and Programs of Study


The following are suggested Programs of Study for a full-time Computer Engineering graduate student pursuing an MS degree with an emphasis in a fields of Computer Architecture, Digital Design, and Communications / DSP. It is not required that students follow these course schedules, but it can used as a guide for planning out their graduate studies

These Programs of Study meets the requirements for the Coursework option and can easily be modified to meet the Project option. Students who wish to complete the Thesis option will need to take 10+ credit hours of ECE 6970 Thesis Research are recommended to meet with the Graduate Student Coordinator to create their academic plan.

As long as the MS degree requirements are met, any 5000-level or above ECE or allied (Math, Physics, CS, or other Engineering) courses may be substituted.

Non-Thesis Supervisory Committee


Priyank Kalla



VLSI systems: automated synthesis and optimization, validation and verification of digital VLSI systems, including: formal verification of RTL descriptions, new techniques to guide CNF-SAT search, using Groebner's proof systems for simplification of design verification and SAT solving, and design automation for optic/photonic logic

Pierre-Emmanuel Gaillardon



Development of reconfigurable logic architectures and digital circuits exploiting emerging device technologies and novel EDA techniques.

Ken Stevens



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

Industry Partners