← Leaderboards
Mayur Naik
Georgia Tech Research Corporation
$3,306,615
Attributed
$5,768,698
Total exposure
10
Grants
7
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.4M · FY2012–23$2M$1.5M$1M$500K$0
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$5,768,698 · 10
By mechanism
—$5,768,698 · 10
Top collaborators
- Rajeev Alur3 shared
- Ellen W Zegura1 shared
- Emmanouil K Antonakakis1 shared
- Eric Wong1 shared
- Irfan A Essa1 shared
- Mostafa H Ammar1 shared
- Sebastian Angel1 shared
- Taesoo Kim1 shared
Grant awards (10)
SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep Learning$1,220,000
· FY2023 · CSE · contact PI
FMitF: Track I: Automatic Migration to Serverless Infrastructure, Correctly and Efficiently$750,000
· FY2021 · CSE
Collaborative Research: SHF: Medium: Synthesis of Logic Programs for Democratizing Program Analysis$679,999
· FY2021 · CSE · contact PI
FMitF: Collaborative Research: Synergies between Program Synthesis and Neural Learning of Graph Structures$466,000
· FY2019 · CSE · contact PI
SHF: Small: New Frontiers in Constraint-Based Program Analysis$425,540
· FY2017 · CSE · contact PI
CAREER: Adaptive Large-Scale Program Analysis$297,757
· FY2017 · CSE · contact PI
SHF: Small: New Frontiers in Constraint-Based Program Analysis$450,000
· FY2015 · CSE · contact PI
SaTC-EDU: EAGER: Big Data and Security: Educating the Next-Generation Security Analysts$300,000
· FY2015 · EDU
CAREER: Adaptive Large-Scale Program Analysis$484,402
· FY2013 · CSE · contact PI
NeTS: Medium: Mobile Computing over Intermittently Connected Networks$695,000
· FY2012 · CSE