Robert Nieuwenhuis

Full Professor   (Catedrático de Universidad)
Technical University of Catalonia   (UPC)
Computer Science Department (LSI), Computer Science School (FIB)
Barcelona    Spain.

News:

• Slides of my invited talk at CP-SAT'06.
  
• Slides of my invited talk at SSPV'06.
  
• Our Sat Modulo Theories (SMT) Tool Barcelogic that won all four categories we participated in of the 2005 SMT Competition (out of seven existing categories) has again done well in the 2006 competion.
  
• As in the last four years, the competion schedule we have made for the current Spanish Professional Basketball League (ACB) is now official. The same happens with the current Dutch Professional Soccer League.

Research: Logic in Computer Science

• The design of Logic-based tools for, e.g., SAT Modulo Theories
• Automated Theorem Proving
• Rewriting
• The implementation of logics
  
• Symbolic constraint solving
  
• Logic-based complexity and decidability analysis
  
• Constraint programming
  

Other research information

Access to the COMPIT website , our methodology for COMParing Indexing Techniques for automated deduction.

The Saturate system is an experimental theorem proving environment for first-order logic, primarily based on saturation, which, together with Harald Ganzinger and Pilar Nivela, we developed at the Max-Planck-Institut for Computer Science. Saturate uses techniques of ordered chaining for arbitrary transitive relations, including orderings, equivalence relations and congruences, and integrates CNF transformation lazily into saturation.

Construction of Computational Logics II (CCL-II) was a EU Esprit Working Group of which I was the UPC scientific coordinator.

(Former) PhD. Students:

• Albert Rubio (defended 1994)
• Jose Miguel Rivero (defended 2000)
• Guillem Godoy (defended 2001)
• Miguel Angel Vallejo (ongoing)
• Albert Oliveras (ongoing)
• Enric Rodriguez (ongoing)

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)