← Leaderboards
Zena M Ariola
University Of Oregon Eugene
$1,937,542
Attributed
$2,034,208
Total exposure
21
Grants
21
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 $559.1K · FY2005–25$1M$750K$500K$250K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$2,034,208 · 21
By mechanism
—$2,034,208 · 21
Top collaborators
- Amr A Sabry1 shared
- David P Walker1 shared
- Matthew Fluet1 shared
- Stephan A Zdancewic1 shared
- Yannis Smaragdakis1 shared
Grant awards (21)
Travel: Oregon Programming Languages Summer School 2025: Types, Logic, and Formal Methods$20,000
· FY2025 · CSE · contact PI
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic$50,000
· FY2023 · CSE · contact PI
Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning$45,000
· FY2022 · CSE · contact PI
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security$25,000
· FY2019 · CSE · contact PI
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)$25,000
· FY2018 · CSE · contact PI
SHF: SMALL: Intermediate Languages for Safe and Efficient Compilation$539,110
· FY2017 · CSE · contact PI
Oregon Programming Languages Summer School 2017: A Spectrum of Types$20,000
· FY2017 · CSE · contact PI
2016 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification$20,000
· FY2016 · CSE · contact PI
2015 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification$15,000
· FY2015 · CSE · contact PI
SHF: Small: SEQUBE: A Sequent Calculus Foundation for High- Level and Intermediate Programming Languages$499,951
· FY2014 · CSE · contact PI
Oregon Programming Languages Summer School (OPLSS) on "Types, Logic, Semantics, and Verification"$15,000
· FY2014 · CSE · contact PI
Oregon Programming Languages Summer School (OPLSS) on "Types, Semantics and Verification"$15,000
· FY2011 · CSE · contact PI
SHF: Small: A Foundation for Effects$499,149
· FY2009 · CSE · contact PI
WORKSHOP: Theory and Practice of Language Implementation$15,000
· FY2009 · CSE · contact PI
Summer School on Language-Based Techniques for Integrating with the External World$11,000
· FY2007 · CSE · contact PI
Summer School on Language-Based Techniques for Concurrent and Distributed Software$10,000
· FY2006 · CSE · contact PI
CT-ISG: Summer School on Reliable Computing$10,000
· FY2005 · CSE · contact PI
Software Security: Theory to Practice$10,000
· FY2004 · CSE · contact PI
Foundation of Security and Concurrency: Fellowships & Support$15,000
· FY2003 · CSE · contact PI
Syntactic Theories: Their Automation and Logical Foundation$159,998
· FY2002 · CSE · contact PI
Special Projects: Proofs as Programs$15,000
· FY2002 · CSE · contact PI