Research Area
My research interests are in database systems and theory. Most recently, I've been focusing on verification of database-driven systems, an area at the boundary of databases and computer-aided verification. More broadly, I am interested in the theory of query languages and computational logic.Publications
Link to databases/logic programming bibliographyBook
Foundations of Databasesby S.Abiteboul, R.Hull and V.Vianu, Addison-Wesley, 1995.
Online version
Alice birthday celebration
Links
|
Join the premier professional organization for database researchers and practitioners: |
|
