P
Priyank Kalla
Professor
GradNova doesn't forward messages to faculty. To contact Priyank Kalla, use the University of Utah website.
Research Interests
VLSI Systems: Automated Synthesis and Optimization, Validation and Verification of Digital VLSI Systems, Including: Formal Verification of Rtl Descriptions, New Techniques to Guide Cnf-Sat Search, Using Groebner's Proof Systems for Simplification of Design Verification and Sat Solving, and Design Automation for Optic/photonic Logic
Formal Methods in Verification
Embedded Systems Design Techniques
Photonic and Optical Devices
VLSI and Analog Circuit Testing
Cryptographic Implementations and Security
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →