Write a Blog >>
Eric Koskinen

Registered user since Tue 17 Feb 2015

Name: Eric Koskinen

Affiliation: Stevens Institute of Technology

Personal website: http://www.cs.stevens.edu/~ejk/

Research interests: Verification, Languages, Concurrency

POPL 2018 Activities

Using general profile