← Leaderboards
Carolyn Talcott
Sri International
$1,988,270
Attributed
$3,727,024
Total exposure
7
Grants
4
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.5M · FY2005–20$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$3,727,024 · 7
By mechanism
—$3,727,024 · 7
Top collaborators
- Mark-Oliver Stehr2 shared
- Grit Denker1 shared
- Natarajan Shankar1 shared
- Paul E O'Maille1 shared
- Richard J Waldinger1 shared
Grant awards (7)
RAPID: Motif-based Classification and Systems Analysis of CoV-2 Virulence Mechanism$198,043
· FY2020 · BIO
TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude$249,516
· FY2013 · CSE · contact PI
CPS: Medium: A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems$1,494,776
· FY2009 · CSE
SGER: Open Verification Platform and Event-based Semantics$149,820
· FY2008 · CSE
Collaborative Research: CSR-EHS: Modeling and Exploiting Cross-Layer Timing in Distributed Embedded Systems$74,995
· FY2006 · CSE · contact PI
II(BIO): BioLogica--Deductive Integration of Heterogeneous Biological Data Sources$1,169,859
· FY2005 · CSE · contact PI
Formal Checklists for Remote Agent Dependability$390,015
· FY2002 · CSE · contact PI