Iniciativa IMDEA

Inicio > Personal

Alejandro Sánchez

PhD - Universidad Politécnica de Madrid (UPM), España

La información de esta página podría estar desactualizada debido a que Alejandro Sánchez no es ya miembro del Instituto.

Antiguo Post-doctoral Researcher

Alejandro Sánchez
Página web: http://software.imdea.org/~asanchez/

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.

Intereses de Investigación

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