Albert Rubio
Universitat Politècnica de Catalunya
Departament de Llenguatges i Sistemes Informàtics
Edifici OMEGA
C/ Jordi Girona, 1-3
E-08034 Barcelona, Spain.
- E-mail:
- Phone: +34-93-413-7899
- Fax: +34-93-4137833
Research interest
- SAT modulo Theories
- Program verification
- Theorem Proving
- Constraint Solving
Available termination tools and problems.
My on-line papers
are here.
Research events
I'm involved in.
Teaching (in catalan)