← Leaderboards
Amal Ahmed
Indiana University
$3,064,757
Attributed
$3,885,052
Total exposure
8
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 $881.5K · FY2011–22$1M$750K$500K$250K$0
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$3,885,052 · 8
By mechanism
—$3,885,052 · 8
Top collaborators
- Amr A Sabry1 shared
- Jan Vitek1 shared
- Steven Holtzen1 shared
Grant awards (8)
FMitF: Track I: Principles for Modular Probabilistic Programming and Inference$750,000
· FY2022 · CSE
SHF: Small: Collaborative Research: Foundations for Gradual Typing$249,995
· FY2019 · CSE · contact PI
SHF: Small: Principled Compiling and Linking for Multi-Language Software$505,802
· FY2018 · CSE · contact PI
SHF: Small: Foundations of Just-in-Time Compilation$449,831
· FY2016 · CSE
CAREER: Verified Compilers for a Multi-Language World$540,092
· FY2015 · CSE · contact PI
SHF: Small: Secure Compilation of Advanced Languages$507,812
· FY2014 · CSE · contact PI
SHF: Small: Effectful Software Contracts$440,760
· FY2011 · CSE · contact PI
SHF: Small: Effectful Software Contracts$440,760
· FY2011 · CSE · contact PI