![Eric Koskinen](https://popl18.sigplan.org/getProfileImage/erickoskinen/8fc5e568-646a-400f-a6b4-4fc03a79bd78/small.jpg?1711586173000)
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
Contributions
POPL 2018-profile
View general profile
View general profile