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 of the Technical
University of Madrid .
The COSTA System, a cost and
termination analyzer for Java bytecode.
The 27th International Conference
on Logic Programming (ICLP 2011). July
6-10, 2011. Lexington, Kentucky, USA. Program Committee member
The 13th International Symposium
on Practical Aspects of Declarative Languages (PADL 2011). January
24-25, 2011. Austin, Texas, USA. Program Committee member
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
Ochoa. Poly-Controlled Partial Evaluation and its Application
to Resource Aware Specialization. 10 April 2007. Now working at
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.
If you are a good Computer Science student (2nd year onward) and you
are interested in (possibly funded) collaboration in the above
please contact me.