Gabriel Mark Kuper
|
Formazione |
|
1975-1977 BSc Mathematics (Technion) 1980-1985 PhD (Stanford U. Thesis: Logical data model. Advisor: J.D. Ullman |
|
|
|
Carriera accademica ed attività didattica |
|
1985-1992 IBM Watson research center 1992-1995 ECRC research centre (Munich) 1996-1997 Visiting researcher INRIA Roquencourt and UL Bruxelles 1997-2001 MTS, Bell Labs Murray Hill 2001- present U. Trento
Attività didattica
Basi di Dati Sistemi Operativi Sistemi Informativi Spatial databases Computability and computational complexity |
|
|
|
Interessi di ricerca |
|
Database theory XML Game theory |
|
|
|
Attività di ricerca |
|
Research areas: - Models for structured data (Logical data model) - Logic programming for databases (Datalog), in particular extension to handle sets - Constraint data model, a model for spatial and temporal data (Definition of the model, study of its expressive power, and extensions with aggregation) - XML schemas, esp. subsumption and expressive power - Game theory and application to P2P databases |
|
|
|
Appartenenza a società e comitati scientifici |
|
ACM |