Alejandro Sánchez

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

PhD - Universidad Politécnica de Madrid, España
Antiguo Post-doctoral Researcher

Página web: https://software.imdea.org/~asanchez/

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

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:

Formal verification of temporal properties over parametrized concurrent systems using deductive techniques.
Development of decision procedures for complex data structures that manipulate dynamic memory.

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