Victor Vianu#
| Membership Number: | 3866 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 2014 |
| Main Country of Residence: | UNITED STATES |
| Homepage(s): | https://cseweb.ucsd.edu/~vianu |
Present and Previous Positions
- December 2013-November 2019 INRIA International Chair at INRIA-Saclay
- 1983 - present Professor of Computer Science, U.C. San Diego
- 1983 - present Sabbaticals at INRIA, France (Rocquencourt and Saclay)
- 1993 Invited Professor at ENST - Paris (Ecole Nationale Superieure des Tecommunications)
Fields of Scholarship
- Computational logic
- Database systems and theory
- Automatic verification
Honours and Awards
- 2013 International Chair, INRIA
- 2013 Fellow, American Association for the Advancement of Science (AAAS)
- 2010 ACM PODS Alberto O. Mendelzon Test-of-Time Award
- 2006 Fellow, Association for Computing Machinery (ACM)
