← Leaderboards
Assaf J Kfoury
Trustees Of Boston University
$1,293,506
Attributed
$4,713,519
Total exposure
7
Grants
3
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.2M · FY2007–18$2M$1.5M$1M$500K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
Funding mix
By agency
NSF$4,713,519 · 7
By mechanism
—$4,713,519 · 7
Top collaborators
- Azer Bestavros4 shared
- Abraham Matta3 shared
- Joseph B Wells2 shared
- Alley Stoughton1 shared
- Christos G Cassandras1 shared
- Ioannis Paschalidis1 shared
- John W Byers1 shared
- Mayank Varia1 shared
Grant awards (7)
SaTC: CORE: Medium: Towards Mechanized Proofs of Composable Security Properties$1,199,484
· FY2018 · CSE
CPS: Synergy: Collaborative Research: A Cyber-Physical Infrastructure for the "Smart City"$700,000
· FY2012 · ENG
Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and Safe Compositions of Network Services$400,001
· FY2008 · CSE · contact PI
(CSR--EHS/CPS) Leveraging Type Systems for the Development of High-Assurance Cyber-Physical Systems and Appications$99,999
· FY2007 · CSE
ITR: Internet Flows as First-Class Values: Support for Dynamic, Flexible Internet Services$1,683,497
· FY2002 · CSE
ITR/SY (CCR): Implementing Modular Program Analysis via Intersection and Union Types$460,412
· FY2001 · CSE · contact PI
A Paradigm Shift in Program Analysis and Transformation via Intersection and Union Types$170,126
· FY2000 · CSE · contact PI