← Leaderboards
Leonidas Lampropoulos
University Of Maryland, College Park
$1,837,948
Attributed
$2,134,198
Total exposure
5
Grants
4
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 $592.5K · FY2020–25$1M$750K$500K$250K$0
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$2,134,198 · 5
By mechanism
—$2,134,198 · 5
Top collaborators
- Ian Miers1 shared
Grant awards (5)
Collaborative Research: SHF: Medium: Foundations of Zero Knowledge Computation$592,500
· FY2025 · CSE · contact PI
Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026$45,000
· FY2023 · CSE · contact PI
CAREER: Fuzzing Formal Specifications$582,352
· FY2022 · CSE · contact PI
Collaborative Research: SHF: Medium: Efficient and Trustworthy Proof Engineering$539,956
· FY2021 · CSE · contact PI
Collaborative Research: SHF: Medium: Bringing Python Up to Speed$374,390
· FY2020 · CSE