Technical University of Catalonia (UPC)
Computer Science Department, Building Omega, Office 114
Jordi Girona, 1-3
Phone: (+34) 93 413 7792
Fax: (+34) 93 413 7833
I am an Associate Professor (Professor Agregat / Profesor Contratado Doctor) at the Computer Science Departament of the Technical University of Catalonia (UPC) in Barcelona, Spain.
I am currently working on Boolean Satisfiability (SAT), Satisfiability Modulo
and their applications (I am one of the members of the LOGPROG
Research Group, and collaborator of Barcelogic). I have also
worked on invariant
inference for system verification.
- Data Structures and Algorithms (Bachelor in Informatics Engineering)
- Algorithms (Bachelor in Mathematics)
- Combinatorial Problem Solving (Master in Innovation and Research in Informatics)