Alejandro Sánchez

BS - Universidad Nacional de Cordoba (UNC), Argentina

PhD Student

IMDEA Software Institute
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
SPAIN

Office: 318
Telephone: +34 91-101-2202 ext 4120
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/alejandro.sanchez/index.html
Email:

Research interests

• Formal methods
• Program verification
• Verification diagrams
• Temporal logic
• Dynamic memory analysis
• Concurrent systems
• Concurrent data-types
• Decision procedures

Publications

• Alejandro Sánchez and César Sánchez. Parametrized Temporal Verification Diagrams In preparation.
• Alejandro Sánchez and César Sánchez. A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes Submitted.
• Alejandro Sánchez and César Sánchez. Decision Procedures for the Temporal Verification of Concurrent Lists, In Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM'2010) vol. 6447 Lecture Notes in Computer Science, pp74-89, Springer-Verlag, 2010. PDF. Long version:PDF.