← Leaderboards

Stephanie Balzer

Carnegie Mellon University

Google Scholar ↗PubMed ↗ORCID ↗

$1,382,940

Attributed

$1,607,940

Total exposure

4

Grants

3

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 $625K · FY2017–25

$1M$750K$500K$250K$0

'17

'18

'19

'20

'21

'22

'23

'24

'25

Funding mix

By agency

NSF$1,607,940 · 4

By mechanism

—$1,607,940 · 4

Top collaborators

Frank Pfenning1 shared

Grant awards (4)

CAREER: A Semantic Framework for Verifying Heterogeneous Applications$509,540

· FY2025 · CSE · contact PI

Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols$625,000

· FY2022 · CSE · contact PI

NSF Student Travel Grant for 2021 Programming Languages Mentoring Workshop at POPL (PLMW@POPL)$23,400

· FY2020 · CSE · contact PI

SHF:Small: Enriching Session Types for Practical Concurrent Programming$450,000

· FY2017 · CSE