Technical University of Catalonia (UPC)
Software Department, Building Omega, Office 114
Jordi Girona, 1-3
Phone: (+34) 93 413 7792
Fax: (+34) 93 413 7833
I am a Postdoc (Professor Lector / Profesor Ayudante Doctor) at the Software Departament (LSI) 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 Barcelogic
Research Team). 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)