Priyank Kalla is a Professor at the University of Utah in the Department of Electrical and Computer Engineering. His research focuses on formal verification , arithmetic datapath optimization , and Silicon Photonics . PhD from University of Massachusetts at Amherst (2002) MS from University of Massachusetts at Amherst (1998) B.E. from Birla Vishvakarma Mahavidyala (1993) His research integrates computer algebra and algebraic geometry with design automation for verifying complex digital circuits. Recent work includes thermal-aware synthesis of photonic components and formal verification of post-quantum cryptographic implementations. Publications span IEEE Transactions on CAD , VLSI-SoC , and SAT conferences , with 2025 publications on Boolean function analysis and photonic test-point selection . His ACM TODAES 2007 paper on finite ring algebra optimization received the best paper award. Awards include: Outstanding Presentation Award at ETS 2025 Best Paper at VDAT 2024 Honourable Mention at ITC India 2022 Teaching includes ECE/CS 5745/6745 on Hardware Verification and ECE/CS 3700 on Digital System Design. His research group has secured multiple NSF grants (2005-2019) and University of Utah SEED grants.