José Francisco Morales
PhD - Technical University of Madrid (UPM), Spain
Post-doctoral Researcher
IMDEA Software Institute
Bloque 3, Fac. Informática
Campus Montegancedo UPM
28660-Boadilla del Monte, Madrid
SPAIN
Office: 3313
Telephone: +34-91-101-2202 ext 4133
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/josef.morales/index.html
Email: 
Short bio
Jose F. Morales joined IMDEA Software as a postdoctoral researcher in
November 2010, after receiving his Ph.D degree in Computer Science
from the Technical University of Madrid (UPM), Spain. Previously, he held
a teaching assistant position at the Universidad Complutense de
Madrid, starting in 2005.
Jose's work to date has focused on mechanisms for the efficient
execution of logic programs: inference of program properties by
abstract interpretation, highly-optimizing translation to low-level
code using those properties, and the development of abstractions for
the specification and automated construction of abstract machines.
Research Interests
His current research interests include the design of multiparadigm
languages (combining imperative, logic, functional, and
object-oriented programming), assertion languages and type systems,
abstract interpretation, abstract machines, compiler optimizations,
and native code generation.
|
