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.

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)