← Leaderboards
Thomas Wies
New York University
$2,215,425
Attributed
$3,533,312
Total exposure
8
Grants
7
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.2M · FY2013–23$2M$1.5M$1M$500K$0
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$3,533,312 · 8
By mechanism
—$3,533,312 · 8
Top collaborators
- Andrew J Blumberg1 shared
- Clark Barrett1 shared
- Dennis E Shasha1 shared
- Michael H Walfish1 shared
Grant awards (8)
SHF: Small: Modular Automated Verification of Concurrent Data Structures$600,000
· FY2023 · CSE · contact PI
NSF Student Travel Grant for 2020 Computer-Aided Verification (CAV)$15,000
· FY2020 · CSE · contact PI
NSF Student Travel Grant for 2019 International Conference on Computer-Aided Verification (CAV)$15,000
· FY2019 · CSE · contact PI
SHF: Small:Verifying Complex Concurrent Data Structures with Flow Interfaces$498,496
· FY2018 · CSE · contact PI
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstractions$240,252
· FY2016 · CSE · contact PI
TWC: Medium: Scaling proof-based verifiable computation$1,151,830
· FY2015 · CSE
CAREER: Abstracting Programs for Automated Debugging$512,734
· FY2014 · CSE · contact PI
SHF: Small: Integrating separation logic and SMT for better heap verification$500,000
· FY2013 · CSE · contact PI