He received his Ph.D. from the University of New Mexico under the supervision of Deepak Kapur. He joined the IMDEA Software Institute as a postdoctoral researcher in June 2008 and after a temporary leave as a Visiting Researcher at Microsoft Research in Seattle he rejoined the Institute as a researcher in September 2010.
His research interests are on developing practical techniques for modeling program behavior and using this information to support error detection and optimization applications. His work to date has focused on the development of static analysis for the program heap which infers region, sharing, footprint and heap based data-dependence information. More recent work has focused on using the information extracted by the analysis to support program parallelization,memory management, error detection, and software engineering applications.
Please visit my homepage