Albert Rubio


Photo of Albert Rubio
Full Professor in Computer Science
(Catedrático de Universidad)

I have recently moved to the Universidad Complutense de Madrid (UCM)

Old affiliation:

Universitat Politècnica de Catalunya - BarcelonaTech
Department of Computer Science
Old E-mail: 




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.