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
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
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.
For more information, you can visit my
You can also download the latest version of my CV from
Formal methods, program verification, dynamic memory analysis, decision procedures, parametrized systems, concurrent data types