![Victor Vianu](https://conf.researchr.org/getProfileImage/victorvianu/da4523d2-0e5c-4922-afaf-9d9baa450af6/small.jpg?1712082245000)
Registered user since Thu 22 Sep 2016
Name:Victor Vianu
Country:United States
Affiliation:UC San Diego
Personal website: https://cseweb.ucsd.edu/~vianu/
Research interests:database theory, verification, computational logic
Contributions
POPL 2017-profile
View general profile
View general profile