Robert Nieuwenhuis

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

News:

• Our Barcelogic Sat Solver was ranked as world's third at the SAT Race 2008 , and was the best on unsatisfiable problems.
  
• As an editor of the Journal of Automated Reasoning, I'll handle good submissions efficiently!
  
• Slides of my invited talk at RTA'07 and slides of the one at CP-SAT'06.
  
• Check our Sat Modulo Theories (SMT) Tool Barcelogic in the SMT competion (it has again won several categories).
  
• As in the previous years, the competion schedule I made for the two Dutch Professional Soccer Leagues is now official.

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

• Albert Rubio (defended 1994)
• José Miguel Rivero (defended 2000)
• Guillem Godoy (defended 2001)
• Enric Rodríguez (defended 2006)
• Albert Oliveras (defended 2006)
• Roberto Asín (ongoing since 2005)

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)

Robert Nieuwenhuis
Technical University of Catalonia (UPC)
Dept. LSI
Omega Building
Jordi Girona 1
E-08034 Barcelona, Spain
E-mail:
Phone: (+34) 93 413 7865
Fax: (+34) 93 413 7833