Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
German Puebla, CLIP group

Germán Puebla

NEW PEPM'09: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Savannah, Georgia, USA. January 19 - 20 2009. Collocated with POPL'09.

NEW The 9th International School on Foundations of Security Analysis and Design (FOSAD 2009). Bertinoro, Italy 31 August - 5 September 2009.

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] .

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. 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.