Erik Brunvand

  • Phone: 801-581-4345
  • Email:
  • Office: MEB 3142

Computer architecture and VLSI

Armin Tajalli

  • Phone: 801-581-4840
  • Email:
  • 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:
  • 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:
  • Office: SMBB 3745

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