ECOOP 2016 (series) / Eric Koskinen
![Eric Koskinen](https://2016.ecoop.org/getProfileImage/erickoskinen/703822a5-35cd-47b6-913c-0c479826dc10/small.jpg?1711541388000)
Registered user since Tue 17 Feb 2015
Name:Eric Koskinen
Affiliation:Yale University
Personal website: http://erickoskinen.com/
Research interests:Verification, Languages, Concurrency
Contributions
ECOOP 2016-profile
View general profile
View general profile