Professor (Catedrático de Universidad)
Technical University of Catalonia (UPC) The Logics and Programming Research Group (LogProg) Computer Science Department (CS) Computer Science School (FIB) Barcelona Spain. Contact Information |
Quick links:
Access to some materials
Main publications
(My) Google Scholar
Research events I'm involved in
The Logics and Programming Research Group
Research Interests
Teaching Activities
Other research information
Contact Information
Computer science bibliography databases:
DBLP Computer Science Bibliography Trier
Citeseer ResearchIndex.
Computer Science Bibliographies Karlsruhe.
Click here to see a beautiful
10-store "human tower"
(in Catalan: "castell"; one of the many interesting aspects of
Catalan culture)