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 ACM Symposium on Principles of Programming Languages (POPL 2013). January 23-25, 2013. Rome, Italy. External Review Committee member.

NEW The HATS International School on Formal Models for Objects and Components. 24-28 September 2012. Bertinoro, Italy. Lecturer.

NEW 10th International conference on the principles and practice of programming in java. 12-14 September, 2012. Grahamstown, South Africa

NEW The European Symposium on Programming Languages (ESOP 2012). 24 March - 1 April 2012, Tallin, Estonia. Program Committee member

NEW My research profile according to Google Scholar and Microsoft Academic Search.

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.