Robert Nieuwenhuis' Home Page

Robert Nieuwenhuis

Professor (Catedrático de Universidad)
Technical University of Catalonia (UPC)
The Logics and Programming Research Group (LogProg)
Computer Science Department (CS)
Computer Science School (FIB)
Barcelona Spain.
Contact Information

Quick links:
Access to some materials
Main publications
(My) Google Scholar
Research events I'm involved in
The Logics and Programming Research Group
Research Interests
Teaching Activities
Other research information
Contact Information

Some materials:

See Barcelogic!.
Slides of my invited talk at the Int. Conf. Logic for Programming, Artif. Intell. and Reasoning (LPAR), january 2021.
Slides of my invited talk at the Global Conference on Artificial Intelligence (GCAI 2015).
Slides of my invited talk at the 12th Int Conf. on Integration of Artificial Intelligence and Operations Research in Constraint Programming (CPAIOR 2015).
Slides of my invited talk at the 6th International Joint Conference on Automated Reasoning (IJCAR 2012).
As a result of my 3-year research-only fellowship I3 from the Ministry of Science and Innovation, see our Barcelogic (Barcelogic.com) startup.
As an editor of the Journal of Automated Reasoning, I'll handle good submissions efficiently!
Our Barcelogic Sat Solver was ranked as world's third at the SAT Race 2008 , and was the best on unsatisfiable problems.
Check our Sat Modulo Theories (SMT) Tool Barcelogic in the 2005-2009 SMT competions.
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

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

PhD. Students Supervised:

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 (defended 2010)
Ignasi Abío (defended 2013)

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. Computer Science (CS)
Omega Building
Jordi Girona 1
E-08034 Barcelona, Spain
E-mail: roberto at this domain: cs.upc.edu
Phone: (+34) 93 413 7865