Eric Koskinen - Projects - Stevens Institute of Technology

View Scopus Profile

h-index

Research activity per year

2 Active
5 Finished

2 results

Filter

Active
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
Koskinen, E. (PI)
National Science Foundation
1/10/23 → 30/09/26
Project: Research project
AVTA Transition: Toolchain for Binary Decompilation and Alignment
Koskinen, E. (PI)
1/09/22 → …
Project: Research project