Robert Nieuwenhuis' Home Page

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.

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) and Darío's web site

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)
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