← Leaderboards
Zachary Tatlock
University Of Washington
$3,675,584
Attributed
$7,317,187
Total exposure
9
Grants
6
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 $2.8M · FY2018–24$5M$3.8M$2.5M$1.3M$0
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$7,317,187 · 9
By mechanism
—$7,317,187 · 9
Top collaborators
- Adriana Schulz2 shared
- Daniel J Grossman2 shared
- Dan Suciu2 shared
- Jennifer Mankoff2 shared
- Amy J Ko1 shared
- Jeffrey Lipton1 shared
- Michael D Ernst1 shared
- Xi Wang1 shared
Grant awards (9)
Collaborative Research: CIRC: Medium: New: Workbench for Reliable and Efficient Numerics$420,000
· FY2024 · CSE · contact PI
CCRI: New: Incubating egg: Developing a Scalable, Cohesive Equality Saturation Ecosystem and Community$1,999,107
· FY2023 · CSE · contact PI
SHF: Medium: Next Generation Equality Saturation by way of Datalog$800,000
· FY2023 · CSE · contact PI
FMitF: Track I: Retargetable, Verifiable, Optimizable Computer-Aided Manufacturing$757,913
· FY2020 · CSE
FMitF: Formal Verification of Accessibility$786,125
· FY2019 · CSE
CHS: Small: Pattern Understanding and Computational Modeling for Textiles$516,000
· FY2019 · CSE
FMitF: A Framework for Synthesis of Efficient, Reliable, and Secure Operating System Components$980,043
· FY2018 · CSE · contact PI
CAREER: Verifying Distributed System Implementations$557,999
· FY2018 · CSE · contact PI
SHF: Small: Programming Languages Foundations for 3D-Printing$500,000
· FY2018 · CSE · contact PI