Enric Rodríguez Carbonell

  Technical University of Catalonia (UPC)
  Software Department, Building Omega, Office 114
  Jordi Girona, 1-3
  08034 Barcelona
  Spain

  Phone:  (+34) 93 413 7792
  Fax:      (+34) 93 413 7833
  E-mail:   

I am a Postdoc (Professor Lector / Profesor Ayudante Doctor) at the Software Departament (LSI) of the Technical University of Catalonia (UPC) in Barcelona, Spain.

RESEARCH

I am currently working on Boolean Satisfiability (SAT), Satisfiability Modulo Theories (SMT) and their applications (I am one of the members of the Barcelogic Research Team). I have also worked on invariant inference for system verification.

• Conference papers
• Journal papers
• Seminars and other talks
• Research activities
  

TEACHING

• Data Structures and Algorithms (Bachelor in Informatics Engineering)
• Algorithms (Bachelor in Mathematics)
  
• Problem Solving and Constraint Programming (Master in Artificial Intelligence)
• New book on logics for Computer Science:  Lógica para informáticos. Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra. Editorial Marcombo. Barcelona, 2011. ISBN: 978-84-267-1694-1