Eric Koskinen

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen


Eric Koskinen is an Assistant Professor at Stevens Institute of Technology. In 2021, he was appointed to the endowed Charles Berendsen Assistant Professor of Computer Science. Dr. Koskinen’s research focuses on reliable and efficient software, through automated software verification, parallelization, and language advances that improve the way programmers develop concurrent software. Previously, Dr. Koskinen received a Ph.D in Computer Science from the University of Cambridge, spent time at IBM Watson and Microsoft, and was a Software Engineer at


In recent years, I have focused on new techniques and tools to verify commutativity conditions, synthesize commutativity conditions, or use them as part of our new programming language, Veracity.

Country:United States
Affiliation:Stevens Institute of Technology
Research interests:Verification, Languages, Concurrency


POPL 2023 Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
An Algebra of Alignment for Relational Verification
VMCAI 2023 Verifying, Inferring and Exploiting Code Commutativity
Session Chair of Model Checking (part of VMCAI 2023)
Show activities from other conferences

POPL 2023-profile
View general profile