Utkarsh's Home Page

Utkarsh Gupta

I am a PhD student in the Department of Electrical & Computer Engineering at the University of Utah, Salt Lake City, UT. My research interests include Computer algebra based hardware verification using symbolic computation, Graph based verification using BDDs and AIGs, Equivalence checking using miters and SAT/SMT tools, Electronic Design Automation, and other related fields. My research advisor is Dr. Priyank Kalla and I am currently focusing on hardware verification.

Recent Experiences:

Graduate Intern, Apple Inc., Portland (May 2019 - August 2019)

Graduate Intern, Intel Corporation, Hillsboro (May 2018 - August 2018)

Research Assistant, University of Utah (Fall 2015 - present)

Teaching Assistant, University of Utah

Curriculum Vitae (pdf)