← Leaderboards
Swarat Chaudhuri
Pennsylvania State Univ University Park
$5,317,367
Attributed
$7,286,193
Total exposure
14
Grants
12
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,286,193 · 14
By mechanism
—$7,286,193 · 14
Top collaborators
- Christopher M Jermaine1 shared
- Illya V Hicks1 shared
- Isil Dillig1 shared
- Joe Warren1 shared
- Moshe Y Vardi1 shared
- Scott Rixner1 shared
Grant awards (14)
Collaborative Research: III: Medium: Interpretable Scientific Discovery with Foundation Model Programs$333,000
· FY2025 · CSE · contact PI
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving$902,673
· FY2024 · CSE · contact PI
Collaborative Research: PPoSS: Large: A Full-stack Approach to Declarative Analytics at Scale$256,710
· FY2023 · CSE · contact PI
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code$400,000
· FY2022 · CSE · contact PI
Expeditions: Collaborative Research: Understanding the World Through Code$1,237,220
· FY2020 · CSE
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning$500,000
· FY2020 · CSE · contact PI
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning$500,000
· FY2019 · CSE · contact PI
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives$800,000
· FY2017 · CSE
SHF: Small: Computer-Aided Grading, Feedback, and Assignment Creating in Massive Online Programming Courses$298,319
· FY2013 · CSE · contact PI
SHF: Medium: Collaborative Research: Marrying Program Analysis and Numerical Search$600,000
· FY2012 · CSE · contact PI
SHF: Medium: Collaborative Research: Chorus: Dynamic Isolation in Shared-Memory Parallelism$509,702
· FY2011 · CSE · contact PI
CAREER: Robustness Analysis of Uncertain Programs: Theory, Algorithms, and Tools$345,431
· FY2011 · CSE · contact PI
SHF: Medium: Collaborative Research: Chorus: Dynamic Isolation in Shared-Memory Parallelism$442,815
· FY2010 · CSE · contact PI
CAREER: Robustness Analysis of Uncertain Programs: Theory, Algorithms, and Tools$160,323
· FY2010 · CSE · contact PI