← Leaderboards
Sandeep K Shukla
University Of California-Irvine
$1,288,371
Attributed
$3,089,857
Total exposure
8
Grants
6
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.2M · FY2005–14$2.5M$1.9M$1.3M$625K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
Funding mix
By agency
NSF$3,089,857 · 8
By mechanism
—$3,089,857 · 8
Top collaborators
- Arnold B Urken1 shared
- Benjamin F Hobbs1 shared
- Lamine Mili1 shared
- Michael R Von Spakovsky1 shared
- Rajesh K Gupta1 shared
Grant awards (8)
EAGER: A Novel Approach to Application Specific Instruction Processor Synthesis from Polychronous Specifications$79,999
· FY2014 · CSE · contact PI
EFRI: Resilient and Sustainable Interdependent Electric Power and Communications Systems$2,226,857
· FY2008 · ENG
CPA: Collaborative Research: Formal Techniques for Designing Globally Asynchronous and Locally Synchronous Systems (FMGALS)$242,000
· FY2007 · CSE · contact PI
CPA: Conference Support: 3rd ACM/IEEE International Conference on Formal Methods and Models for Codesig; Universite of Verona, Italy$6,000
· FY2005 · CSE · contact PI
CPA: Conference Support Proposal: 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design$4,000
· FY2004 · CSE · contact PI
PECASE: Formal Analysis and Validation of Probabilistic Guarantees on QoS and other Power/Performance Characteristics in Embedded Systems Design$441,001
· FY2003 · CSE · contact PI
SGER: Evaluating Reliability of Defect Tolerant Architectures for Nanotechnology using Probabilistic Model Checking$50,000
· FY2003 · CSE · contact PI
U.S.-France Cooperative Research (INRIA): A Semantic Foundation For C++ based IC/System Design$40,000
· FY2002 · O/D