IMDEA Software

IMDEA initiative

Home > People > Alejandro Sánchez

Alejandro Sánchez

The information in this page may be outdated, as Alejandro Sánchez is currently not a member of the Institute.

Alejandro Sánchez
PhD - Technical University of Madrid (UPM), Spain
Former Post-doctoral Researcher

Home Page:

Brief Introduction

I am a post-doctoral researcher at the IMDEA Software Institute, which I joined as a PhD. Student in September 2009 under the supervision of César Sánchez.

Currently, my research is focused on two main areas:

Detailed Information

For more information, you can visit my personal website.

You can also download the latest version of my CV from here.

Research Interests

Formal methods, program verification, dynamic memory analysis, decision procedures, parametrized systems, concurrent data types