← Leaderboards

Leonidas Lampropoulos

University Of Maryland, College Park

Google Scholar ↗PubMed ↗ORCID ↗

$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