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