← Leaderboards

Gail E Kaiser

Columbia University

Google Scholar ↗PubMed ↗ORCID ↗

$4,930,405

Attributed

$10,023,412

Total exposure

13

Grants

6

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.3M · FY2006–23

$2M$1.5M$1M$500K$0

'06

'07

'08

'09

'10

'11

'12

'13

'14

'15

'16

'17

'18

'19

'20

'21

'22

'23

Funding mix

By agency

NSF$10,023,412 · 13

By mechanism

—$10,023,412 · 13

Top collaborators

Grant awards (13)

Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks$666,000

· FY2023 · CSE

SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers$608,318

· FY2023 · CSE · contact PI

SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities$496,571

· FY2018 · CSE · contact PI

EAGER: Finding Semantic Security Bugs with Pseudo-Oracle Testing$200,000

· FY2018 · CSE

TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches$1,200,000

· FY2016 · CSE · contact PI

SHF:Medium:Overcoming the Intuition Wall: Automatic Graphical Analysis of Programs to Discover and Program New Computer Architectures$400,654

· FY2013 · CSE

SHF: MEDIUM: Achieving Software Reliability without True Test Oracles$894,582

· FY2012 · CSE · contact PI

CSR: Medium: Guanyin: a Thousand hands with a Thousand eyes for Distributed Software Checking$1,028,000

· FY2009 · CSE

CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades$416,675

· FY2007 · CSE · contact PI

CT-T: Enabling Collaborative Self-Healing Software Systems$841,769

· FY2006 · CSE

ITR - (NHS) - (int/dmc): Secure Remote Computing Services$1,410,845

· FY2004 · CSE

Smart Event Models and Architectures$270,000

· FY2002 · CSE · contact PI

Experimental Partnership - Internet Interactive Team Video$1,589,998

· FY2000 · CSE