Erik Brunvand


  • Phone: 801-581-4345
  • Email: elb@cs.utah.edu
  • Office: MEB 3142

Computer architecture and VLSI

Armin Tajalli


  • Phone: 801-581-4840
  • Email: armin.tajalli@utah.edu
  • Office: MEB 2224

Integrated wireline and wireless systems, energy-efficient integrated systems, high-speed wireline systems, RF circuits, data converters, phase-locked loops and frequency synthesisers, analog integrated circuits, extremely low power integrated systems

Ken Stevens


  • Phone: 801-585-9176
  • Email: kstevens@ece.utah.edu
  • Office: MEB 2254

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

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


  • Phone: 801-585-3422
  • Email: pierre-emmanuel.gaillardon@utah.edu
  • Office: SMBB 3745

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