Write a Blog >>
Eric Koskinen

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen
Affiliation:Stevens Institute of Technology
Research interests:Verification, Languages, Concurrency

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile