Charles Berendsen Associate Professor of Computer Science | Stevens Institute of Technology
201.216.5071 | eric.koskinen@stevens.edu
Eric Koskinen is the Charles Berendsen Associate Professor (with tenure) of Computer Science at Stevens Institute of Technology in the New York area. Previously, he was a Researcher at Yale University and a Visiting Professor at New York University. He received a Ph.D in Computer Science from the University of Cambridge (UK) and has spent time at IBM Watson, Microsoft, and from 2002-2005, was a Software Engineer at Amazon.com. Prof Koskinen's work is funded by over $5M from NSF/ONR/DARPA and yields techniques that improve the way programmers develop reliable and efficient concurrent software for multi-core and distributed systems. Recently, he co-founded the Commute Workshop at PLDI 2022.
May 2024: | Mihai presented our new effects work at NJPLS. |
Jan 2024: | Joined the POPL 2025 PC. |
Dec 2023: | Our Quotients paper will appear in OOPSLA'24 |
Oct 2023: | Joined the PLDI 2024 PC. |
Sep 2023: | Teaching CS135: Discrete Structures this fall! |
Jul 2023: | Summer CS intro in Jersey City |
Jan 2023: | Our muCLP paper was a POPL'23 Distinguished paper! |
Dec 2022: | Keynote Talk at VMCAI 2023. |
Nov 2022: | Congrats to Cyrus Liu on defending his PhD dissertation! |
Sep 2022: | Two papers (BiKAT and muCLP) accepted to POPL 2023. |
Aug 2022: | ONR Award on binary decompilation and verification. |
Jul 2022: | Joined the PLDI 2023 program committee. |
Jul 2022: | Veracity (OOPSLA'22) adds commute blocks to programs! [PDF] [Arxiv] [ Web demo] [Slides] |
Jun 2022: | Thanks to everyone who joined Commute at PLDI! |
May 2022: | Servois2 Commutativity Synthesizer now on GitHub! |
May 2022: | Congrats to Jared Pincus for the CS Research award! |
Oct 2021: | Appointed to the Charles Berendsen Junior Professorship. |
Apr 2021: | Our Constraint-based Relational Verification was in CAV 2021. |
Jul 2020: | Our Dynamic Proofs for Termination was in OOPSLA 2020. |
May 2020: | Provost's Early Career Award for Research Excellence. |
Nov 2018: | Joined the POPL 2020 program committee |
We are hiring talented PhD students to join us at Stevens! Please see the current opportunities if you are interested.
All available on GitHub:
Scenario-based Proofs for Concurrent Objects
OOPSLA 2024
LICS 2014
Temporal property verification as a program analysis task
CAV 2011 Award paper