Miguel Gómez-Zamalloa


PhD in Computer Science
Current position: Assistant Professor at the Computer Science faculty of Complutense University of Madrid
DSIC (Departamento de Sistemas Informáticos y Computación)
Phone: +34 91 394 7633
e-mail: mzamalloa (at) fdi.ucm.es
Member of the COSTA and GPD research groups


Research

  • Research Interests: Test case generation (CLP-based), Static analysis of object-oriented programs, Partial evaluation, Symbolic Execution, Constraint Logic Programming ...
  • Member of the COSTA and GPD research groups.
  • PhD thesis: Transformation and Analysis of Object-Oriented Bytecode supervised by Elvira Albert. Defended at the Complutense University of Madrid on October 26th, 2009.

Publications

Scientific Activities

Systems:

  • COSTA. A COSt and Termination Analyzer for Java Bytecode
  • PET. A Partial Evaluation based Test Case Generator for Java Bytecode

Research Links


Contact

Address
Miguel Gómez-Zamalloa
Departamento de Sistemas Informáticos y Programación, Office 220
Facultad de Informática, C/ Profesor José García Santesmases, s/n
Complutense University of Madrid
E-28040 - Madrid (Spain)

Phone/Fax
+34 91 3947646 / +34 91 3947529

Email
mzamalloa (at) fdi.ucm.es


Miscellaneous