Esta página carece de garantía de mantenimiento. A lo largo de 2009, búscame mejor en la Universidad de Cantabria.
Docencia habitual u ocasional en UPC hasta enero de 2009: Calculabilitat (Computability theory), Facultat de Matemàtiques i Estadística (Apuntes, parte A: Las funciones recursivas parciales; parte B: Decidibilidad e indecidibilidad; parte C: Grados de Insolubilidad; Aplicaciones); Laboratorios de Programación 1 en la Facultat d'Informàtica de Barcelona (FIB); Programación Metódica, Models Abstractes de Càlcul (Abstract Computation Models), Fitxers i Bases de Dades (Files and Databases), Disseny de Bases de Dades (Design of Databases), Enginyeria del Software: Especificació (Specification in Software Engineering), y Projectes d'Informàtica de Gestió (quadrimestre zero) en la Escola Politècnica Superior d'Enginyeria de Vilanova i la Geltrú.
CONTACT. My office while at UPC was in the A0 building, a.k.a. Omega: room 225, (+34)-93-413-7847 (UPC ext 37847). But I am never there anymore, well, almost never.
Contact policy (which may change with no forewarning): I leave on a very aggressive spam killer which is likely to erase your message, mistaken for spam; it will give some opportunities to messages from educational institutions and from some european countries, though. Also the subject is checked for presence of the word "math". Good luck.
This page has alternated repeatedly between construction and destruction phases. It is unclear what phase is it in right now.
Our research group: LARCA at UPC; we recently organized: Learning 2006, ALT-DS 2006, ICDT 2007, Pascal Bootcamp 2007.
Some of my writings, most of them research-related; some of the links might be broken. Good luck.
Ph D advisor or co-advisor of:
Jacobo Torán (1988),
Ricard Gavaldà (1992),
Elvira Mayordomo (1994),
Montserrat Hermo (1996),
Albert Atserias (2002,
coadvisor M. L. Bonet),
Jorge Castro (2002,
coadvisor D Guijarro),
Gemma C. Garriga (2006),
Jaume Baixeries (2007);
unfortunately, the career of
Luis Valentin
(coadvisor Lluis Belanche) was truncated, much before his thesis
could take shape, by his untimely death after long illness.
Research-related software developed: The Slim system. More later on this year. (I did not say what year was 'this'.)
Personal items with many more (broken?) links.
To the department's Home Page, e.g. to find postal/email addresses and such.