← Leaderboards
Eric Koskinen
New York University
$2,153,948
Attributed
$2,353,945
Total exposure
11
Grants
11
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 $593K · FY2014–23$1M$750K$500K$250K$0
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$2,353,945 · 11
By mechanism
—$2,353,945 · 11
Top collaborators
- Ton Chanh Le1 shared
Grant awards (11)
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software$593,022
· FY2023 · CSE · contact PI
Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis$399,995
· FY2021 · CSE · contact PI
SHF: Small: Symbolic Commutativity Analysis for Multicore Concurrency$495,933
· FY2020 · CSE · contact PI
NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)$14,600
· FY2019 · CSE · contact PI
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstraction$65,597
· FY2017 · CSE · contact PI
Student Travel funding for 2017 Logic Mentoring Workshop (LMW) at (LICS); Reykjavik, Iceland; June, 2017$14,630
· FY2017 · CSE · contact PI
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstraction$249,641
· FY2016 · CSE · contact PI
Student Travel Funding for Logic in Computer Science (LICS) 2016$14,994
· FY2016 · CSE · contact PI
Student Travel funding for Logic Mentoring Workshop (LMW) at (LICS) 2016$14,680
· FY2016 · CSE · contact PI
SHF: Small: Collaborative Research:Concurrent Programming with Composable Transactional Objects$240,853
· FY2015 · CSE · contact PI
SHF: Small: Collaborative Research:Concurrent Programming with Composable Transactional Objects$250,000
· FY2014 · CSE · contact PI