Priyank Kalla

University Of Utah

$1,426,964

Attributed

$1,426,964

Total exposure

Grants

Lead (contact PI)

Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants. They are the sole PI on all grants (the two match).

Funding over time

peak $482.3K · FY2005–19

$500K$375K$250K$125K$0

'05

'06

'07

'08

'09

'10

'11

'12

'13

'14

'15

'16

'17

'18

'19

Funding mix

By agency

NSF$1,426,964 · 5

By mechanism

—$1,426,964 · 5

Top collaborators

No co-investigators on record.

Grant awards (5)

SHF:Small:Collaborative Research: Rectification of Arithmetic Circuits with Craig Interpolants in Algebraic Geometry$309,905

· FY2019 · CSE · contact PI

SHF: Small: New Directions in Groebner Basis based Verification using Logic Synthesis Techniques$390,999

· FY2016 · CSE · contact PI

SHF: Small: Collaborative Proposal: Efficient Computer Algebra Techniques for Scalable Verification of Galois Field Arithmetic Circuits$205,071

· FY2013 · CSE · contact PI

CAREER: Exploring Symbolic Algebra for RTL Verification of Arithmetic Datapaths$482,346

· FY2006 · CSE · contact PI

Collaborative Research: A New Theoretical and Algorithmic Framework for RTL Datapath Verification using Polynomial Algebra over Finite Integer Rings$38,643

· FY2005 · CSE · contact PI