← Leaderboards
Allison Sullivan
North Carolina Agricultural & Technical State University
$1,791,946
Attributed
$2,231,946
Total exposure
7
Grants
6
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 $618.3K · FY2019–25$1M$750K$500K$250K$0
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$2,231,946 · 7
By mechanism
—$2,231,946 · 7
Top collaborators
- Ali Karimoddini1 shared
- Daniel Limbrick1 shared
- Leila Hashemi Beni1 shared
- Mahmoud N Mahmoud1 shared
Grant awards (7)
Model-By-Numbers: An Interactive Educational Tool for Software Models$399,608
· FY2025 · EDU · contact PI
CAREER: Live Programming for Finite Model Finders$525,000
· FY2024 · CSE · contact PI
SHF: Small: INCA: Incremental Analysis of Software Specification for Evolving Systems$489,946
· FY2022 · CSE · contact PI
FmitF: Track II: KeenEye: Enhancing Scenario Exploration$99,102
· FY2021 · CSE · contact PI
MRI: Acquisition of a Testbed of Connected Autonomous MicroTransit Vehicles$550,000
· FY2020 · ENG
FMiTF: Track II: Alloy Analyzer Plus: An Integrated Development Environment for Alloy$68,290
· FY2020 · CSE · contact PI
FMiTF: Track II: Alloy Analyzer Plus: An Integrated Development Environment for Alloy$100,000
· FY2019 · CSE · contact PI