← Leaderboards
Limin Jia
Carnegie Mellon University
$3,774,512
Attributed
$7,731,936
Total exposure
16
Grants
11
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 · FY2010–25$2M$1.5M$1M$500K$0
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$7,731,936 · 16
By mechanism
—$7,731,936 · 16
Top collaborators
- Ljudevit Bauer4 shared
- Brandon Lucia2 shared
- Anupam Datta1 shared
- Beidi Chen1 shared
- Christian Kastner1 shared
- Corina Pasareanu1 shared
- Feras Saad1 shared
- Frank Pfenning1 shared
Grant awards (16)
FMitF: Track I: Probabilistic Modeling and Analysis Tools for Intermittent Systems$899,996
· FY2025 · CSE
Collaborative Research: SHF: Medium: Semantic Aware Code Generation with Large Language Models$675,000
· FY2025 · CSE · contact PI
Collaborative Research: SaTC: CORE: Small: Mixed Assurance Reasoning via Modal Logic$300,000
· FY2024 · CSE · contact PI
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security$300,000
· FY2023 · CSE · contact PI
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025$45,050
· FY2023 · CSE · contact PI
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation$871,566
· FY2021 · CSE · contact PI
SHF: Small: Practical and Formal Foundations for Intermittent Computer Systems$450,000
· FY2020 · CSE
NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)$12,000
· FY2019 · CSE · contact PI
SaTC: CORE: Medium: Towards a Usable, Practical, and Provably Secure Browser Infrastructure$1,228,800
· FY2017 · CSE · contact PI
SaTC: CORE: Small: Trustworthy Dependency Management$518,570
· FY2017 · CSE
NeTS: Medium: Collaborative Research: DEFIND: DEclarative Formal Interactive Network Design$400,000
· FY2015 · CSE · contact PI
TWC: Small: Blameworthy Programs: Accountability via Deviance and Causal Determination$499,754
· FY2014 · CSE
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks$246,958
· FY2014 · CSE · contact PI
TWC: Small: Provably Enforcing Practical Multi-Layer Policies in Today's Extensible Software Platforms$505,280
· FY2013 · CSE · contact PI
TC: Small: Collaborative Research: Towards a Formal Framework for Analyzing and Implementing Secure Routing Protocols$299,313
· FY2011 · CSE · contact PI
TC: Small: Towards precise specification of logic-based acces-control policies$479,649
· FY2010 · CSE