Eric Koskinen
Visiting Assistant Professor

Computer Science Department
Courant Institute of Mathematical Sciences
New York University
Biography   Research   Publications

Recent News Eric Koskinen

• Aug 2014: LICS 2016 to be held in New York!
• July 2014: Talk at CSL/LICS 2014
• June 2014: NSF Award to work on concurrent languages and verification NEW
• June 2014: Visiting Microsoft Research
• June 2014: Visiting UCL and attending PLDI
• May 2014: Awarded a grant (URCF) from the NYU Office of the Provost NEW
• Mar 2014: Our paper was accepted to CSL/LICS 2014. NEW
• Mar 2014: Visiting Yale University
• Mar 2014: ICALP 2015 program committee NEW
• Mar 2014: Visiting Rice University
• Feb 2014: Talk at Cornell Systems Lunch
• Feb 2014: Our paper was accepted to PLDI'14. NEW
• Spr 2014: Teaching Data Structures
• Fall 2013: Teaching Data Structures
• May 2013: Our paper accepted to OOPSLA'13
• Feb 2013: Our paper accepted to PLDI'13
• Feb 2013: Seminar at Queen Mary
• Jan 2013: Analysis&Logics chair at POPL
• Dec 2012: Our paper accepted to TACAS'13
• Sep 2012: PC meeting for POPL in Paris

Research Summary

My research is centered around devising mathematical techniques that aid the development of safe concurrent software, and applying those techniques to realistic computer systems. I investigate how to improve the way programmers create efficient software and ensure that these programs behave correctly. To this end, I have made advances along a spectrum of fields, ranging from systems/concurrency, to foundational results in formal methods. My expertise in the former is marked by my service on the SPAA 2012 program committee, and the latter by my service on the POPL 2013 program committee. In recent years I have made advances in two particular areas:

1. I have improved programming languages by introducing new language features which are, by design, both safer and more efficient. In particular, I am concerned with language advances which enable engineers to safely produce software which consists of parallel computation (e.g. my work on Transactional Boosting, Coarse-Grained Transasctions, Turning Nondeterminism into Parallelism).

2. I have developed static and dynamic program analysis techniques in order to better understand the performance (e.g. discovering symbolic complexity bounds), understand the behavior (e.g. request tracing in BorderPatrol), discover bugs and formally prove correctness of programs (e.g. proving Linear Temporal Logic properties via a reduction to a program analysis task and symbolic partial determinization).



  • Mario Alvarez (PhD student at UCSD), summer 2014
  • Ruben Zaccaroni (undergraduate at NYU), fall 2014
  • Patrick Yuen (undergraduate at NYU), fall 2014


  • PhD, Computer Science, University of Cambridge, 2012.
  • Sc.M, Computer Science, Brown University, 2008.
  • B.S., Computer Science and Physics, College of William & Mary, 2001.


  • Visiting Assistant Professor, New York University
  • Visiting Professor, Nagoya University, Japan
  • Research Scientist & Principal Investigator, New York University
  • Research Intern, Microsoft Research Cambridge
  • Research Intern, Microsoft Research Redmond
  • Adjunct Faculty, Newbury College
  • Software Engineer at IMDb


  • LICS 2016 conference chair
  • ICALP 2015 program committee member
  • FMCAD 2014 external review committee
  • POPL 2013 program committee member
  • SPAA 2012 program committee member
  • OPODIS 2012 program committee member
  • Yak International organizer