Albert Rubio

Photo of Albert Rubio
Full Professor in Computer Science
(Catedràtic d'Universitat)

Universitat Politècnica de Catalunya - BarcelonaTech
Department of Computer Science
Edifici OMEGA
C/ Jordi Girona, 1-3
E-08034 Barcelona, Spain.

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.