GGrantIndex
← Leaderboards

Ruzica Piskac

Western Colorado University

Google Scholar ↗PubMed ↗ORCID ↗
$4,425,437
Attributed
$5,310,528
Total exposure
15
Grants
11
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.4M · FY2013–23
$2M$1.5M$1M$500K$0
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23

Funding mix

By agency

NSF$5,310,528 · 15

By mechanism

—$5,310,528 · 15

Top collaborators

Grant awards (15)

SaTC: CORE: Small: Automatic Detection and Repair of Side Channel Vulnerabilities in Software Code$600,000
· FY2023 · CSE
Collaborative Research: FMitF: Track I: Automating and Synthesizing Parallel Zero-Knowledge Protocols$449,999
· FY2023 · CSE · contact PI
Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations$349,998
· FY2022 · CSE · contact PI
DASS: Accountability from Attention, not Assumption$749,999
· FY2021 · CSE · contact PI
SHF: Small: ConfigV: Automated Verification of Configuration Files$450,000
· FY2017 · CSE · contact PI
III: Small: Scalable, Practical Deterministic Database Systems$320,184
· FY2017 · CSE
SHF: Medium: Collaborative Research: FRP for Real$27,716
· FY2017 · CSE · contact PI
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness$540,000
· FY2016 · CSE
CAREER: Synthesis in a Live Programming Environment$463,272
· FY2016 · CSE · contact PI
TWC: Medium: Collaborative: New Protocols and Systems for RAM-Based Secure Computation$364,769
· FY2016 · CSE
Student Travel Support for SAT/SMT/AR Summer School at IJCAR 2016$30,000
· FY2016 · CSE · contact PI
Student Travel Support for VMCAI 2015$19,992
· FY2014 · CSE · contact PI
SHF: Medium: Collaborative Research: FRP for Real$866,000
· FY2013 · CSE · contact PI
SHF: Medium: Collaborative Research: FRP for Real$63,599
· FY2013 · CSE · contact PI
Student Travel Support for VMCAI 2014$15,000
· FY2013 · CSE · contact PI