Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Guillem Godoy's Home Page

Guillem Godoy

Technical University of Catalonia (UPC)
Department of Software (LSI), Building C5, Room 201A
Jordi Girona 1, E-08034 Barcelona, Spain.
E-mail: ggodoy@lsi.upc.es
Phone/Fax: +34 93 4017295 / 7014

Teaching

At the Faculty of Computer Science of Barcelona (FIB)
Course 2002-2003 (office hours: wednesdays 11-13h):

Compiladores I

Research

My main areas of interest are related to logic in computer science:

Automated Deduction:

Completeness results for inference systems
Deduction with built-in domain knowledge

Rewriting

Decision and complexity results

Symbolic Constraint Solving

Ordering constraints
Equality constraints, E-unification

Computer science bibliography databases:
Computer Science Bibliography Trier.
ResearchIndex.
Computer Science Bibliographies.