Stefan Mitsch

Carnegie Mellon University

$876,695

Attributed

$876,695

Total exposure

Grants

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. They are the sole PI on all grants (the two match).

Funding over time

peak $450K · FY2022–24

$500K$375K$250K$125K$0

'22

'23

'24

Funding mix

By agency

NSF$876,695 · 3

By mechanism

—$876,695 · 3

Top collaborators

No co-investigators on record.

Grant awards (3)

Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers$376,695

· FY2024 · CSE · contact PI

I-Corps: Translation Potential of a Train Protection System$50,000

· FY2024 · TIP · contact PI

Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers$450,000

· FY2022 · CSE