Priyank Kalla


Electrical and Computer Engineering Merrill Engineering Bldg., #2260 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

  • Haden Ondricek, PhD student. Custom Synthesis of Homomorphic Encryption.

  • Pratishtha Agnihotri, PhD student.

  • Bailey Martin, BS/MS student.

    Former Students

  • Vikas Rao, PhD completed Summer 2021. Currently working at Synopsys as Staff R&D Engineer, VC Formal Group.

  • Utkarsh Gupta - PhD completed Spring 2020. Currently working at Apple, as Formal Verification Engineer.

  • Arpitha Rao, MS thesis completed Summer 2019. Currently working as Product Engineer at Micron Emerging Memory Group.

  • Xiaojun Sun - PhD completed Spring 2017. Currently working at Candence Design Systems in San Jose, CA.

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

  • Lawrence Schlitt - MS Thesis completed May 2013. Currently working at Northrup Grumman.

  • 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 Sept 2021:

    free website counters