← Leaderboards
Rupak Majumdar
University Of California-Los Angeles
$1,551,500
Attributed
$2,801,000
Total exposure
7
Grants
4
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 $530K · FY2005–10$1M$750K$500K$250K$0
'05
'06
'07
'08
'09
'10
Funding mix
By agency
NSF$2,801,000 · 7
By mechanism
—$2,801,000 · 7
Top collaborators
- Edward Kohler2 shared
- Paulo Tabuada2 shared
- Jens Palsberg1 shared
- Ranjit Jhala1 shared
- Todd D Millstein1 shared
Grant awards (7)
CPS: Small: Towards robust cyber-physical systems$530,000
· FY2010 · CSE
SHF: EAGER: Closing the gap in Controller Synthesis$200,000
· FY2009 · CSE · contact PI
Collaborative: Software Verification for Hardware Models$250,000
· FY2007 · CSE · contact PI
CSR---EHS: Collaborative: Directed Real-Time Testing$225,000
· FY2007 · CSE · contact PI
CAREER: Modular Verification of Software$400,000
· FY2006 · CSE · contact PI
(SGER) Preliminary Steps Toward a Verifiable Kernel$150,000
· FY2005 · CSE
ITR - ASE - int: Event Driven Software Quality$1,046,000
· FY2004 · CSE