← Leaderboards
John Garrett Morris
University Of Iowa
$2,072,920
Attributed
$2,178,230
Total exposure
5
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 $877K · FY2021–25$1M$750K$500K$250K$0
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$2,178,230 · 5
By mechanism
—$2,178,230 · 5
Top collaborators
- Alberto M Segre1 shared
- Cesare Tinelli1 shared
- Katherine Kosaian1 shared
Grant awards (5)
SHF: MEDIUM: Extensible LCF-style Theorem Proving with Dependent Rows$877,000
· FY2025 · CSE · contact PI
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell$599,291
· FY2024 · CSE · contact PI
Conference: 2024 Formal Methods in the Field PI Meeting$99,893
· FY2024 · CSE
Collaborative Research: FMitF: Track III: Integrating Formal Methods into the Foundational Undergraduate Curriculum$77,430
· FY2024 · CSE · contact PI
CAREER: Extensibility in Theory and Practice$524,616
· FY2021 · CSE · contact PI