معرفی
Eric Koskinen is the Charles Berendsen Associate Professor (with tenure) of Computer Science at Stevens Institute of Technology in Hoboken, New Jersey. He is also a co-founder of the Commute Workshop at PLDI 2022 and has previously held positions as Researcher at Yale University and Visiting Professor at New York University.
Education:
- Ph.D. in Computer Science, University of Cambridge (UK)
Research Interests:
Koskinen's research lies at the intersection of software verification, programming languages, and concurrency. He develops automated techniques to ensure reliable and efficient software, with a particular emphasis on commutativity analysis, parallelization, and language-level abstractions for multicore and distributed systems. His recent focus includes the Veracity programming language that introduces commute blocks to simplify concurrent programming.
Scientific Awards & Honors:
- POPL 2023 Distinguished Paper Award
- Provost's Early Career Award for Research Excellence (2020)
- CAV 2011 Award Paper
Advising & Funding:
Prof. Koskinen currently advises three Ph.D. students—Adam Chen, Parisa Fathololumi, and Mihai Nicola—and has recently graduated Cyrus Liu (Ph.D. 2022). His research group has been generously supported by more than $5 million in competitive grants from the NSF, ONR, and DARPA. Recent awards include:
- NSF: Concurrent Objects ($593k, 2023)
- ONR: AVTA Transition ($215k, 2022)
- NSF: Dynamic Analysis ($399k, 2021)
- NSF: Commutativity Analysis ($495k, 2020)
- ONR: Temporal Alignment ($3.2M, 2017)
Labs & Tools:
His group maintains an active open-source tool suite including Veracity (interpreter for commute blocks), Servois2 (commutativity synthesizer), Dynamite (termination/non-termination checker), DarkSea (temporal verifier for binaries), CityProver (commutativity verifier), Knotical (trace-refinement synthesizer), and DrNLA (non-linear to linear integer arithmetic rewriter).
