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
Some materials:
Research: Logic in Computer Science
Logic is being considered
"The Calculus of Computer Science" (Manna and Waldinger,
Kolaitis and Vardi),
like mathematics in the physical sciences, and, in particular,
calculus in engineering.
See also
"On the Unusual Effectiveness of Logic in Computer Science".
I have worked on:
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)