← Leaderboards
Marienus Heule
University Of Texas At Austin
$4,265,412
Attributed
$4,987,247
Total exposure
11
Grants
11
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 $1.5M · FY2015–24$2M$1.5M$1M$500K$0
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$4,987,247 · 11
By mechanism
—$4,987,247 · 11
Top collaborators
- Jeremy Avigad1 shared
- Randal E Bryant1 shared
- Scott J Aaronson1 shared
Grant awards (11)
SHF: Small: CoopSLS: Improving Boolean Satisfiability Solvers through Cooperative Stochastic Local Search$600,000
· FY2024 · CSE · contact PI
Collaborative Research: AIMing: Synergy of Machine Learning and Automated Reasoning to Solve Math Challenges$418,035
· FY2024 · MPS · contact PI
SHF: Small: Synergy between Automated Reasoning and Interactive Theorem Proving$544,003
· FY2022 · CSE · contact PI
SHF : Small: Certified Automated Reasoning with BDDs (CARB)$499,667
· FY2021 · CSE · contact PI
SHF: Small: WLoS: Without Loss of Satisfaction$500,000
· FY2019 · CSE · contact PI
SHF: Small: WLoS: Without Loss of Satisfaction$500,000
· FY2019 · CSE · contact PI
SHF: Small: MaPaMaP: Massively Parallel Solving of Math Problems$328,934
· FY2019 · CSE · contact PI
SHF: Small: Mechanical Verification of QBF Results$196,608
· FY2019 · CSE · contact PI
SHF: Small: MaPaMaP: Massively Parallel Solving of Math Problems$400,000
· FY2018 · CSE · contact PI
SHF: Small: Mechanical Verification of QBF Results$500,000
· FY2016 · CSE · contact PI
SHF: Small: IsoLator: Avoiding Isomorphic Graphs Effectively$500,000
· FY2015 · CSE · contact PI