SPLASH 2023 (series) / Victor Nicolet
![Victor Nicolet](https://2023.splashcon.org/getProfileImage/victornicolet/ad063dfa-3c85-4ec4-8dd2-fbc87e8faec6/small.jpg?1711466517000)
Registered user since Mon 19 Dec 2016
Name:Victor Nicolet
Country:Canada
Affiliation:Amazon Web Services
Personal website: http://www.cs.toronto.edu/~victorn
Research interests:Formal Methods, Program Synthesis
Contributions
SPLASH 2023-profile
View general profile
View general profile