معرفی
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.
