← Leaderboards
Jeremy G Siek
University Of Colorado At Boulder
$2,831,085
Attributed
$3,756,121
Total exposure
7
Grants
5
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 $1.6M · FY2007–25$2M$1.5M$1M$500K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$3,756,121 · 7
By mechanism
—$3,756,121 · 7
Top collaborators
- Bor-Yuh Evan Chang1 shared
- Matthias Felleisen1 shared
- Sam Tobin-Hochstadt1 shared
Grant awards (7)
SHF: Small: Gradual Information Flow Control$449,727
· FY2025 · CSE · contact PI
SHF: MEDIUM: Performant Sound Gradual Typing$1,200,054
· FY2018 · CSE
SHF: Small: Revisiting Elementary Denotational Semantics$380,714
· FY2018 · CSE · contact PI
CAREER: Bridging the Gap Between Prototyping and Production$407,022
· FY2013 · CSE · contact PI
SHF: Small: Modular Reflection$250,000
· FY2012 · CSE
CAREER: Bridging the Gap Between Prototyping and Production$728,604
· FY2009 · CSE · contact PI
Collaborative Research: Modular Metaprogramming$340,000
· FY2007 · CSE · contact PI