Priyank Kalla

Associate Professor

Electrical and Computer Engineering Merrill Engineering Bldg., #4512 University of Utah, Salt Lake City, UT-84112 Ph: (801)-587-7617 Email:


  • Ph.D., University of Massachusetts at Amherst, 2002.
  • M.S., University of Massachusetts at Amherst, 1998.
  • B.E., Birla Vishvakarma Mahavidyala, 1993.

    Research Interests

    My area of work is related to automated synthesis and optimization, validation and verification of digital VLSI systems:

    Funding for our Research

    Graduate Students

  • Xiaojun Sun - PhD student. Formal Verification of Sequential Arithmetic Circuits.

  • Utkarsh Gupta - PhD student. Boolean Groebner bases in Synthesis and Verification.

  • Lawrence Schlitt - BS/MS Student. Interests: Effects of Thermal Stress on Si-Photonic Integration.

    Former Students

  • Tim Pruss - PhD Completed Summer 2015. Currently working at Apple as Formal Verification Engineer in Cupertino, CA.

  • Chris Condrat: PhD completed Dec 2013, BS/MS 2007. Currently working at Calypto Design Systems, Catapult-C High-Level Synthesis Group, Portland, OR.

  • Jinpeng Lv: PhD completed July 2012. Currently working at Cadence, Conformal Verification Group.
  • Sivaram Gopalakrishnan - MS 2004, PhD Summer 2008. Senior R & D Engineer, Synopsys, Formality Group, Hillsboro, OR.
  • Namrata Shekhar - PhD, Completed Aug 2007. Senior R & D Engineer, Synopsys, Formality Group, Marlborough, MA.
  • Vijay Durairaj - ME 2004, PhD summer 2008. Senior R & D Engineer, Synopsys ESP Group .

    Publications and Presentations


    My Recent Conference and Service Activities

    If you would like to boost/deflate my ego, please (do not?) hesistate to send me Email at:

    Accesses to this page since March 1, 2007: