SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Eric Koskinen

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen
Bio:

Biography

I am an Assistant Professor at Stevens Institute of Technology. Previously, I was a Lecturer/Researcher at Yale University and a Visiting Professor at New York University. I received a Ph.D in Computer Science from the University of Cambridge. I also spent time at IBM Watson, Microsoft, and from 2002-2005, I was a Software Engineer at Amazon.com. My research yields techniques that improve the way programmers develop reliable and efficient concurrent software for multi-core and distributed systems. To this end, I have made advances along a spectrum of fields, ranging from systems/concurrency methodologies to foundational results in formal methods.

Commutativity

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

Contributions

APLAS 2022 Committee Member in Program Committee
SPLASH 2022 Veracity: Declarative Multicore Programming with Commutativity
Show activities from other conferences

Using general profile