← Leaderboards
Aws Albarghouthi
University Of Wisconsin-Madison
$2,709,513
Attributed
$5,978,668
Total exposure
9
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 $2.1M · FY2016–24$2.5M$1.9M$1.3M$625K$0
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$5,978,668 · 9
By mechanism
—$5,978,668 · 9
Top collaborators
- Loris Dantoni3 shared
- Allison Sauppe2 shared
- Bilge D Mutlu2 shared
- Frederic Sala1 shared
- Shuchi Chawla1 shared
- Suman Banerjee1 shared
- Vikas Singh1 shared
- Xiaojin Zhu1 shared
Grant awards (9)
SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline$790,797
· FY2024 · CSE
SHF: Medium: Program Synthesis for Weak Supervision$916,000
· FY2021 · CSE · contact PI
NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots$974,887
· FY2019 · CSE
FMitF: Track I: Formal Methods for Explainable Machine Learning$750,000
· FY2019 · CSE
SHF: Medium: Formal Methods for Program Fairness$1,014,107
· FY2017 · CSE · contact PI
US Ignite: Focus Area 2: An Infrastructure to support Edge Computing in the Extreme$600,000
· FY2017 · CSE
CAREER: Algorithmic Foundations and Modern Applications for Program Synthesis$450,000
· FY2017 · CSE · contact PI
EAGER: Representations and Methods for Verifiable Human-Robot Interactions$307,877
· FY2016 · CSE
CRII: SHF: Optimal Interpolation for Efficient Proof Synthesis$175,000
· FY2016 · CSE · contact PI