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 9th International School on Foundations of Security Analysis and Design (FOSAD 2009). Bertinoro, Italy 31 August - 5 September 2009.

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

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.

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.