← Leaderboards
David Van Horn
University Of New Mexico
$2,623,046
Attributed
$3,862,682
Total exposure
12
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 · FY2012–21$2M$1.5M$1M$500K$0
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$3,862,682 · 12
By mechanism
—$3,862,682 · 12
Top collaborators
- Ricardo Gonzalez-Pinzon2 shared
- Cristina D Takacs-Vesbach1 shared
- Elaine Shi1 shared
- Jonathan Katz1 shared
- Michael W Hicks1 shared
- Sam Tobin-Hochstadt1 shared
Grant awards (12)
How far downstream do wildfire disturbances propagate in fluvial networks?$423,431
· FY2021 · ENG
SHF: Medium: Collab Research: Synthesizing Verified Analyzers for Critical Software$598,039
· FY2019 · CSE · contact PI
CAREER: Gradual Verification: From Scripting to Proving$573,376
· FY2019 · CSE · contact PI
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)$15,000
· FY2019 · CSE · contact PI
Student Travel for Programming Languages Mentoring Workshop at International Conference on Functional Programming 2018 (PLMW@ICFP)$15,000
· FY2018 · CSE · contact PI
Nutrient dynamics along a river continuum: combining sensor data, experiments, and time series analyses to identify local to watershed scale drivers of nutrient cycling$329,740
· FY2017 · ENG
SHF: Small: Collaborative Research: Online Verification-Validation$156,009
· FY2016 · CSE · contact PI
TWC: Large: Collaborative: The Science and Applications of Crypto-Currency$593,941
· FY2015 · CSE
Collaborative Research: Climatic and Environmental Constraints on Aboveground-Belowground Linkages and Diversity across a Latitudinal Gradient in Antarctica$242,620
· FY2014 · GEO · contact PI
Collaborative Research: THE MCMURDO DRY VALLEYS: A landscape on the Threshold of Change$80,337
· FY2013 · GEO · contact PI
Collaborative Research: An Integrated Ecological Investigation of McMurdo Dry Valley's Active Soil Microbial Communities$435,197
· FY2012 · GEO
SHF: Small: Behavioral Software Contract Verification$399,992
· FY2012 · CSE