← Leaderboards
Grigore Rosu
University Of Illinois At Urbana-Champaign
$2,716,333
Attributed
$4,316,000
Total exposure
10
Grants
5
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 $1.1M · FY2005–16$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$4,316,000 · 10
By mechanism
—$4,316,000 · 10
Top collaborators
- Darko Marinov1 shared
- Elsa Gunter1 shared
- Gul A Agha1 shared
- Jose Meseguer1 shared
- Mahesh Viswanathan1 shared
- Marco Caccamo1 shared
- Vikram S Adve1 shared
Grant awards (10)
TWC: Small: Trustworthy Code Generation for the LLVM Compiler Infrastructure$500,000
· FY2016 · CSE
I-Corps: Automatic Formal Program Transformation for Improving Software Quality$50,000
· FY2016 · TIP · contact PI
SHF: Small: Scalable and Maximal Predictive Runtime Verification for Concurrent Software$500,000
· FY2014 · CSE · contact PI
SHF: Small: VeriF-OPT, a Verification Framework for Optimizations and Program Transformations$466,000
· FY2013 · CSE
SHF: Small: Usable Verification using Rewriting and Matching Logic$400,000
· FY2012 · CSE · contact PI
SHF: Small: IMUnit: Improved Multithreaded Unit Testing$500,000
· FY2009 · CSE
CSR-EHS: Monitor and Control: Towards Dependable COTS-based Real-Time Embedded Systems$400,000
· FY2007 · CSE
CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems$700,000
· FY2005 · CSE
CAREER: Runtime Verification and Monitoring$400,000
· FY2005 · CSE · contact PI
Scalable Formal Methods for Multidimensional Components$400,000
· FY2002 · CSE · contact PI