← Leaderboards
Matthias Felleisen
William Marsh Rice University
$4,744,143
Attributed
$9,286,972
Total exposure
15
Grants
13
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.3M · FY2006–20$2.5M$1.9M$1.3M$625K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$9,286,972 · 15
By mechanism
—$9,286,972 · 15
Top collaborators
- Matthew R Flatt2 shared
- Sam Tobin-Hochstadt2 shared
- Ian Barland1 shared
- Jan Vitek1 shared
- Jeremy G Siek1 shared
- Kathryn Fisler1 shared
- Moshe Y Vardi1 shared
- Robert B Findler1 shared
Grant awards (15)
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax$449,948
· FY2020 · CSE · contact PI
SHF: MEDIUM: Performant Sound Gradual Typing$1,200,054
· FY2018 · CSE
CRI: CI-SUSTAIN: Racket on Alternative Platforms$999,382
· FY2018 · CSE · contact PI
SHF: Large: Gradual Typing Across the Spectrum$2,300,195
· FY2015 · CSE · contact PI
SHF: Small: Collaborative Research: Compiler Coaching$316,433
· FY2014 · CSE · contact PI
CI-EN: Collaborative: Run Your Research with Redex$199,951
· FY2014 · CSE · contact PI
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages$406,548
· FY2011 · CSE · contact PI
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum$75,460
· FY2007 · EDU · contact PI
Interface-Oriented Programming$329,237
· FY2006 · CSE · contact PI
CRI: Language-Oriented Programming in PLT Scheme$200,000
· FY2006 · CSE · contact PI
SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software$111,951
· FY2006 · CSE · contact PI
Collaborative Research: Well-Founded Behavioral Software Contracts$175,355
· FY2004 · CSE · contact PI
Collaborative Research: Robust Interactive Web Services$136,911
· FY2003 · CSE · contact PI
Computing Education for Every Student in Secondary Schools$1,895,957
· FY2001 · EDU · contact PI
Educational Innovation: "Collaborative Research:" Integrating Logic in the Computer Science Curriculum$489,590
· FY2000 · CSE