← Leaderboards
Robert B Findler
University Of Chicago
$3,082,504
Attributed
$4,583,601
Total exposure
13
Grants
11
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 $999.4K · FY2006–25$1M$750K$500K$250K$0
'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$4,583,601 · 13
By mechanism
—$4,583,601 · 13
Top collaborators
- Steven M Belknap2 shared
- Dennis P West1 shared
- Matthew R Flatt1 shared
- Matthias Felleisen1 shared
- Russell E Joseph1 shared
- Sam Tobin-Hochstadt1 shared
Grant awards (13)
CISE-ANR: CCF: Retrofit: Bringing Esterel out of its Shell$453,903
· FY2025 · CSE · contact PI
FMitF: Track II: Contracts for JavaScript$150,000
· FY2024 · CSE · contact PI
CRI: CI-SUSTAIN: Racket on Alternative Platforms$999,382
· FY2018 · CSE
ICFP PLMW support 2016$20,000
· FY2016 · CSE · contact PI
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions$380,000
· FY2015 · CSE · contact PI
CI-EN: Collaborative: Run Your Research with Redex$528,200
· FY2014 · CSE · contact PI
SHF: Small: Collaborative Research: Designing a Patient-Oriented Prescription Language: An Executable Medical Algorithm for Gestational Diabetes Mellitus$495,105
· FY2012 · CSE · contact PI
SHF: Small: Integrating Compiler and Architecture Design to Boost Timing Speculation$501,349
· FY2011 · CSE
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages$241,945
· FY2011 · CSE · contact PI
CAREER: Lightweight, Blame-aware Contract Checking$429,723
· FY2009 · CSE · contact PI
SoD-HCER: Colloborative Research: Using Market Forces to Improve Design of Hardware$112,000
· FY2006 · CSE · contact PI
Collaborative Research: Well-Founded Behavioral Software Contracts$147,836
· FY2004 · CSE · contact PI
Collaborative: Exploiting component contracts for static analysis and testing$124,158
· FY2003 · CSE · contact PI