Germán Puebla

Welcome to my home page. I am an associate professor (Profesor Titular de Universidad) in Computer Science at the Department of Programming Languages and Systems[DLSIIS], School of Computer Science [FIM] of the Technical University of Madrid [UPM].

NEW The COSTA System, a cost and termination analyzer for Java bytecode.

NEW The 27th International Conference on Logic Programming (ICLP 2011). July 6-10, 2011. Lexington, Kentucky, USA. Program Committee member

NEW The 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011). January 24-25, 2011. Austin, Texas, USA. Program Committee member

Research Interests

My research interests include program analysis, transformation, and verification. Currently, I am active in mobile code security, proof-carrying code, resource analysis and partial evaluation.

Current and Former PhD Students


If you are a good Computer Science student (2nd year onward) and you are interested in (possibly funded) collaboration in the above mentioned topics please contact me.