Albert Rubio


Universitat Politècnica de Catalunya
Departament de Ciències de la Computació
Edifici OMEGA
C/ Jordi Girona, 1-3
E-08034 Barcelona, Spain.
E-mail: 

Phone: +34-93-413-7899
Fax: +34-93-4137833
Research interest


The VeryMax program analysis toolkit is available here.

Available termination tools and problems.

My on-line papers are here.

Research events I'm involved in.



Teaching (in catalan)