Alejandro Sánchez
PhD - Technical University of Madrid (UPM), Spain
The information in this page may be outdated, as Alejandro Sánchez is no longer a member of the Institute.
Former Post-doctoral Researcher
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