Robert Nieuwenhuis' Home Page

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

Robert Nieuwenhuis

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

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.

Quick links:

Main publications

Research events I'm involved in

The Programming Group

Research Interests

Teaching Activities

Other research information

Contact Information

My kids (Oct. 2004)

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:

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

and have been Program Chair of the conferences: CADE (2005), RTA (2003) LPAR (2001), and many times PC member of these and other conferences such as LICS or PPDP.

Other research information

(Former) PhD. Students:

Albert Rubio (defended 1994)
Jose Miguel Rivero (defended 2000)
Guillem Godoy (defended 2001)
Albert Oliveras (defended 2006)
Enric Rodriguez (defended 2006)

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