Projects per year
Search results
-
Active
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
Koskinen, E. (PI)
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
-
Finished
Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis
Koskinen, E. (PI) & Koskinen, E. (CoPI)
15/07/21 → 30/06/24
Project: Research project
-
SHF: Small: Symbolic Commutativity Analysis for Multicore Concurrency
Koskinen, E. (PI)
1/06/20 → 31/05/23
Project: Research project
-
NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)
Koskinen, E. (PI)
1/10/17 → 30/09/21
Project: Research project
-
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstraction
Koskinen, E. (PI)
16/08/17 → 31/07/20
Project: Research project
-