← Leaderboards
Paul Hudak
Yale University
$1,196,235
Attributed
$2,475,585
Total exposure
6
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 $869.2K · FY2007–08$1M$750K$500K$250K$0
'07
'08
Funding mix
By agency
NSF$2,475,585 · 6
By mechanism
—$2,475,585 · 6
Top collaborators
- Brian M Scassellati2 shared
- John C Peterson2 shared
- Henrik Nilsson1 shared
- Valery Trifonov1 shared
- Walid M Taha1 shared
- Zhong Shao1 shared
Grant awards (6)
CPA-SEL-T: Domain Specific Languages, Logics, and Proofs for Certified Software Design$869,239
· FY2008 · CSE
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems$210,000
· FY2007 · CSE · contact PI
Functional Hybrid Modeling$270,001
· FY2003 · CSE · contact PI
ITR: Dance, a Programming Language for the Control of Humanoid Robots$246,001
· FY2003 · CSE · contact PI
ITR: A Framework for Rapid Development of Reliable Robotics Software$510,344
· FY2002 · CSE · contact PI
ITR/SY(CISE): Putting Multi Stage Annotations to Work$370,000
· FY2001 · CSE