SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / Victor Nicolet
Victor Nicolet

Registered user since Mon 19 Dec 2016

Name:Victor Nicolet
Country:United States
Affiliation:Amazon
Personal website: http://www.cs.toronto.edu/~victorn
Research interests:Formal Methods, Program Synthesis

Contributions

Show activities from other conferences

Using general profile