← Leaderboards
Shriram Krishnamurthi
Northeastern University
$7,740,193
Attributed
$13,075,312
Total exposure
26
Grants
18
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.7M · FY2005–23$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$13,075,312 · 26
By mechanism
—$13,075,312 · 26
Top collaborators
- Kathryn Fisler8 shared
- Timothy B Nelson4 shared
- Steven P Reiss2 shared
- Benjamin S Lerner1 shared
- Daniel J Dougherty1 shared
- Emmanuel T Schanzer1 shared
- John F Hughes1 shared
- Joshua D Guttman1 shared
Grant awards (26)
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties$599,566
· FY2023 · CSE · contact PI
FMitF: Track II: Educating Developers about Ownership in Rust$99,936
· FY2023 · CSE · contact PI
Pedagogical Tools for Formal Methods$519,999
· FY2022 · EDU · contact PI
Designing Professional Development to Foster Mastery and Interest for Integrating Computer Science into Mathematics Classes$999,511
· FY2021 · EDU
EAGER: SaTC-EDU: Instilling a Mindset of Adversarial Thinking into Computer Science Courses Early and Often$313,881
· FY2020 · EDU
EAGER: Shifting to Online Instruction for Math Teachers Teaching Computing$300,000
· FY2020 · CSE
EAGER: Semantics for Learning Functional Programming$158,000
· FY2018 · CSE · contact PI
SHF:Small:The Power of ``Why?'': Using Provenance for Disciplined Exploration in Model Finding$482,000
· FY2017 · CSE · contact PI
CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12$306,921
· FY2016 · CSE · contact PI
CSforAll: EAGER: Making Bootstrap Accessible to Visually-Impaired Users$296,380
· FY2016 · CSE · contact PI
Exploring Transfer Between Computing and Algebra and Its Effects on Mathematics Pedagogy and Self-efficacy in Computing Teachers$1,513,373
· FY2015 · EDU · contact PI
SHF: Medium: A Balance of Power: Programming and Reasoning for Software-Defined Networks$1,004,152
· FY2014 · CSE · contact PI
EAGER: By the People, For the People: Community Ratings for App Privacy$148,025
· FY2014 · CSE · contact PI
TWC: Small: Extensible Web Browsers and User Privacy$374,774
· FY2012 · CSE · contact PI
TC: Small: Analysis for a Cloud of Policies: Foundations and Tools$891,385
· FY2011 · CSE
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages$472,306
· FY2011 · CSE · contact PI
SHF: Small: User Studies to Improve Novice Programming$287,561
· FY2011 · CSE
EAGER: Interfaces to Reduce Human Error in Social Network Access Control Policy Authoring$100,000
· FY2010 · CSE · contact PI
CPATH CB: Applied Computer Science for the Humanities and Social Sciences$555,995
· FY2008 · CSE
CT-ISG: Representation, Analysis, and Verification of Access Control in Dynamic Environments$400,000
· FY2006 · CSE · contact PI
CAREER: Formal Verfication of Aspect-Oriented Software$450,671
· FY2005 · CSE · contact PI
Lightweight Analysis of Program Evolution Using Feature Signatures$146,656
· FY2004 · CSE · contact PI
Collaborative Research: Compositional Verification of Software Product Lines as Open Systems$161,649
· FY2003 · CSE · contact PI
Collaborative Research: Robust Interactive Web Services$146,614
· FY2003 · CSE · contact PI
ITR: Consistent Software Evolution$450,000
· FY2002 · CSE
Computing Education for Every Student in Secondary Schools$1,895,957
· FY2001 · EDU