Victor Nicolet

Registered user since Mon 19 Dec 2016

Name:Victor Nicolet
Country:Canada
Affiliation:University of Toronto
Research interests:Formal Methods, Concurrency, Parallelization

Contributions

Show activities from other conferences

PLDI 2018-profile
View general profile