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, 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 European Symposium on Programming Languages (ESOP 2012). Tallin, Estonia. Program Committee member

NEW The Spanish Conference on Programming Languages (PROLE'2011). Program Chair.

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

Claudio Ochoa. Poly-Controlled Partial Evaluation and its Application to Resource Aware Specialization. 10 April 2007. Now working at Intel, Argentina.
Jesús Correas. Analysis and Verification of Modular Programs. June 13 2008. Now Profesor Colaborador at Universidad Complutense de Madrid.
Diana Ramírez-Deantes. Ongoing. Currently holding a FPU grant from the Spanish Ministry of Science and Education.
Guillermo Román-Díez. Ongoing.

Collaboration

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.