← Leaderboards
Gianfranco Ciardo
College Of William And Mary
$2,998,763
Attributed
$5,357,395
Total exposure
12
Grants
7
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 $899.6K · FY2006–22$1M$750K$500K$250K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$5,357,395 · 12
By mechanism
—$5,357,395 · 12
Top collaborators
- Andrew S Miner3 shared
- Samik Basu2 shared
- Evgenia Smirni1 shared
- Gary P Zank1 shared
- Kristin Yvonne Rozier1 shared
- Laxmi N Bhuyan1 shared
- Nikolai V Pogorelov1 shared
- Walid A Najjar1 shared
Grant awards (12)
SHF: Medium: Improving the Efficiency and Applicability of Decision Diagrams$716,000
· FY2022 · CSE
Midwest Verification Day 2016$9,994
· FY2016 · CSE
SHF: Small: A Hierarchical Symbolic Framework to Verify Logic, Timing, and Probabilistic Properties of Computing Systems$125,718
· FY2014 · CSE · contact PI
CAREER: Advanced Decision Procedures forWords, Trees and Lists$499,612
· FY2010 · CSE · contact PI
SHF: Small: A Hierarchical Symbolic Framework to Verify Logic, Timing, and Probabilistic Properties of Computing Systems$400,000
· FY2010 · CSE · contact PI
MRI: Acquisition of an Ultra Low-Latency Multiprocessor System with On-Board Hardware Accelerators$330,000
· FY2006 · CSE
Collaborative Research: ITR-(ASE)-(sim): A Multi-scale Combined Hybrid-Magnetohydrodynamic (MHD)-Neutral Atom Code$1,662,650
· FY2004 · GEO
ITR: Automated Verification of Asynchronous Software Systems$311,247
· FY2004 · CSE · contact PI
NGS: Methods to Evaluate the Performance of Distributed Software$278,916
· FY2004 · CSE · contact PI
NGS: Methods to Evaluate the Performance of Distributed Software$383,261
· FY2002 · CSE · contact PI
ITR: Automated Verification of Asynchronous Software Systems$360,000
· FY2002 · CSE · contact PI
Effective Techniques and Tools for Resource Management in Clustered Web Servers$279,997
· FY2001 · CSE