PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Victor Nicolet

Registered user since Mon 19 Dec 2016

Name:Victor Nicolet
Country:Canada
Affiliation:Amazon
Research interests:Formal Methods, Program Synthesis

Contributions

Show activities from other conferences

Using general profile