← Leaderboards
Lenore D Zuck
New York University
$2,457,561
Attributed
$4,498,839
Total exposure
12
Grants
8
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 $854.5K · FY2006–21$1M$750K$500K$250K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$4,498,839 · 12
By mechanism
—$4,498,839 · 12
Top collaborators
- Amir Pnueli3 shared
- Benjamin Goldberg3 shared
- Venkat Venkatakrishnan3 shared
- Aravinda P Sistla2 shared
- Balajee Vamanan1 shared
- Daniel J Bernstein1 shared
- Jon A Solworth1 shared
- Mark Grechanik1 shared
Grant awards (12)
EAGER: A Roadmap for research towards verification of NextG technologies$299,998
· FY2021 · CSE · contact PI
FMitF: Track I: Injecting Formal Methods into Internet Standardization$749,725
· FY2019 · CSE · contact PI
SHF: Medium: Self-certifying Compilation and its Applications$854,500
· FY2016 · CSE · contact PI
Midwest Verification Day (MVD) 2013$10,000
· FY2013 · CSE · contact PI
TWC: Medium: Collaborative: Foundations of Application-Sensitive Access Control Evaluation$653,259
· FY2012 · CSE
EAGER: From Devlopment Tools to Secure Web Applications$260,175
· FY2011 · CSE · contact PI
SGER: Monitoring Off-the-shelf Components$109,285
· FY2007 · CSE
CRI: The SecLab at UIC$155,715
· FY2006 · CSE
Translation Validation of Advanced Compiler Optimizations$232,512
· FY2004 · CSE · contact PI
Translation Validation of Advanced Compiler Optimizations$233,672
· FY2003 · CSE · contact PI
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems$699,999
· FY2002 · CSE
Translation Validation of Advanced Compiler Optimizations$239,999
· FY2001 · CSE · contact PI