← Leaderboards
Natarajan Shankar
Sri International
$4,855,175
Attributed
$7,645,337
Total exposure
26
Grants
24
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 $908K · FY2005–23$1M$750K$500K$250K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$7,645,337 · 26
By mechanism
—$7,645,337 · 26
Top collaborators
- Harald Ruess2 shared
- Sam Owre2 shared
- Ashish Tiwari1 shared
- Carolyn Talcott1 shared
- Carsten E Schuermann1 shared
- Christelle Scharff1 shared
- Christopher Lynch1 shared
- Frank Pfenning1 shared
Grant awards (26)
CISE/SHF: Summer School on Formal Techniques$499,526
· FY2023 · CSE · contact PI
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework$568,557
· FY2020 · CSE · contact PI
FMitF: Formal Methods in the Field Bootcamp$99,830
· FY2020 · CSE · contact PI
SHF: Small: M2C: Models to Code$499,860
· FY2018 · CSE · contact PI
CISE/SHF: Summer School on Formal Techniques$299,379
· FY2018 · CSE · contact PI
CISE/SHF: 2017 Summer School on Formal Techniques$99,251
· FY2017 · CSE · contact PI
CISE/CCF: 2016 Summer School on Formal Techniques$99,260
· FY2016 · CSE · contact PI
CISE/CCF: 2015 Summer School on Formal Techniques$99,888
· FY2015 · CSE · contact PI
CISE/CCF: 2014 Summer School on Formal Techniques$85,000
· FY2014 · CSE · contact PI
CISE/CCF: 2013 Summer School on Formal Techniques$90,037
· FY2013 · CSE · contact PI
CISE/CCF: 2012 Summer School on Formal Techniques$99,991
· FY2012 · CSE · contact PI
CISE/SHF:Workshop on Usable Verification$99,241
· FY2010 · CSE · contact PI
CPS: The Third Working Conference on Verified Software$49,900
· FY2010 · CSE · contact PI
TC: Small: Anchoring Trust with a Verified Reference Kernel$499,975
· FY2009 · CSE · contact PI
Collaborative Research: CSR-EHCS(CPS), TM: Teleolog: Certified Software for Medical Robotics$708,191
· FY2008 · CSE · contact PI
SGER: Open Verification Platform and Event-based Semantics$149,820
· FY2008 · CSE · contact PI
Second Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)$49,950
· FY2008 · CSE · contact PI
Mini Workshop on Verified Software$75,000
· FY2006 · CSE · contact PI
Verified Software Roadmap$59,973
· FY2006 · CSE · contact PI
Workshop on the Program Verifier Grand Challenge, February 21-23, 2005, Menlo Park, California$106,000
· FY2005 · CSE · contact PI
ITR: Formal Digital Library$1,099,986
· FY2003 · CSE
ITR: Little Engines of Proof$904,648
· FY2003 · CSE · contact PI
CISE Research Resources: QPQ: An Open Source Deductive Software Repository$699,980
· FY2002 · CSE · contact PI
Cyberlogic$329,975
· FY2002 · CSE
ITR: Static Checking in an Extended Type System$248,879
· FY2000 · CSE · contact PI
US-Argentina-Brazil 2000 Workshop on Programming Methodology$23,240
· FY2000 · O/D · contact PI