IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Mark Marron

Mark Marron

La información de esta página podría estar desactualizada debido a que Mark Marron no es actualmente miembro del Instituto.

Mark Marron
PhD - Universidad de Nuevo México, EE.UU.
Antiguo Faculty Researcher


Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Short bio

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

Research Interests

Program analysis, optimization and error detection. Development of static analysis techniques that are capable of providing accurate information about the behaviour of a program, in particular the program heap.