← Leaderboards
Deepak Kapur
University Of New Mexico
$2,008,033
Attributed
$2,183,229
Total exposure
11
Grants
10
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.
Funding over time
peak $316K · FY2006–19$500K$375K$250K$125K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
Funding mix
By agency
NSF$2,183,229 · 11
By mechanism
—$2,183,229 · 11
Top collaborators
- Roli Varma1 shared
Grant awards (11)
AF: Small: Comprehensive Groebner, Parametric GCD Computations and Real Geometric Reasoning$316,000
· FY2019 · CSE · contact PI
Generating Octagonal Invariants using Quantifier Elimination Heuristics$83,166
· FY2012 · CSE · contact PI
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools$240,000
· FY2009 · CSE · contact PI
Analyzing Polynomial Systems using Cayley-Dixon Resultant Matrices based on Support Hull$220,024
· FY2008 · CSE · contact PI
Collaborative Research: SAIL: An Integration of SAT Solver and Inductive Prover$145,568
· FY2006 · CSE · contact PI
ITWF: Cross Ethnic Differences in Undergraduate Women's Preference for Information Technology$350,392
· FY2003 · CSE
2003 Dagstuhl Seminar on Deduction$16,500
· FY2003 · CSE · contact PI
Polynomial Manipulation using Dixon Resultant Formulation$233,973
· FY2002 · CSE · contact PI
ITR: Integrating Induction Schemes into Decision Procedures$425,524
· FY2001 · CSE · contact PI
Collaborative Research on Semantic Unification and its Applications$137,082
· FY2001 · CSE · contact PI
2001 Dagstuhl Seminar on Deduction to be held March 4-9, 2001 at the Dagstuhl Seminar Center in Wadern, Germany$15,000
· FY2001 · CSE · contact PI