← Leaderboards
Hongwei Xi
University Of Cincinnati Main Campus
$1,690,853
Attributed
$1,690,853
Total exposure
6
Grants
6
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 $449.9K · FY2007–10$500K$375K$250K$125K$0
'07
'08
'09
'10
Funding mix
By agency
NSF$1,690,853 · 6
By mechanism
—$1,690,853 · 6
Top collaborators
No co-investigators on record.
Grant awards (6)
ATS for Systems Programming with Theorem Proving$449,935
· FY2010 · CSE · contact PI
ATS: a Language to Support Practical Programming with Theorem Proving$299,980
· FY2007 · CSE · contact PI
ITR: Imperative Programming with Dependent Types$311,607
· FY2001 · CSE · contact PI
CAREER: Realistic Program Termination Verification: Theory and Practice$284,938
· FY2001 · CSE · contact PI
CAREER: Realistic Program Termination Verification: Theory and Practice$125,747
· FY2001 · CSE · contact PI
ITR: Imperative Programming with Dependent Types$218,646
· FY2000 · CSE · contact PI