Enginyeries informàtiques: Facultat d'Informàtica de Barcelona (FIB).
- Sistemes d'Informació per a les Organitzacions (SIO)
- Gestió de Sistemes Informàtics (GSI)
- Planificació i Gestió de Sistemes d'Informació (PGSI)
- Gestió de Projectes Informàtics (GPI)
La meva recerca s'emmarca en els temes relacionats amb l'actualitzaciò consistent de bases de dades (actualització de vistes, manteniment de restriccions d'integritat) mitjançant la síntesi automàtica de programes de transacció a partir de les seves especificacions.
Participo en el projecte FOLRE (Facing On towards Logic Database Rule Enforcement).