José Sánchez

I am a Ph.D. student in the EECS department at the University of Central Florida. My advisor is Prof. Gary T. Leavens . I am pursuing my doctoral studies with the financial support of Universidad Nacional de Costa Rica (UNA), where I work as a professor, and Costa Rican government agencies MICIT and CONICIT. I have a M.Sc. in Computer Science from the Instituto Tecnológico de Costa Rica (ITCR) and a B.Sc. in Computer Science from Universidad de Costa Rica (UCR).

Research Interests

Specification and verification of software systems and components, formal methods, and modular reasoning for implicit invocation languages.

Papers

José Sánchez and Gary T. Leavens. Static Verification of PtolemyRely Programs Using OpenJML. In: Proceedings of the 13th Workshop on Foundations of Aspect-oriented Languages. FOAL '14., Lugano, Switzerland — April 22 - 26, 2014 , pp. 13-18. ACM, USA, 2014.
José Sánchez and Gary T. Leavens. Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification. In: Walter Binder,Eric Bodden,Welf Löwe (eds.), SC2013 -- Software Composition 2013: 12th International Conference, Budapest, Hungary, pp. 65–80. Volumne 8088 2013 of Lectures Notes in Computer Science, Springer(2013)
"Modelos, Lenguajes y Abstracción" ("Models, Languages and Abstraction"), 2006. UNICIENCA (Universidad Nacional, Heredia, Costa Rica)
"Uso de Patrones de Diseño en Sistemas de Negocios" ("Use of Design Patterns in Business Systems"), 1999. ITCR: "Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software" ("Software Requisites and Environments") (Cartago, Costa Rica)
"Reutilización de Software: Un Paso más hacia la Reingeniería" ("Software Reuse: One Step Towards Reengineering"), 1996. NOVATICA, No. 122 (Barcelona, España)
"Reutilización de Patrones de Diseño por Composición" ("Reuse of Design Patterns by Composition"), 1998. M.Sc. Thesis. (Instituto Tecnológico de Costa Rica) (Advisor: Prof. Ignacio Trejos

Teaching

Instructor at Escuela de Informática , Universidad Nacional and Cenfotec :

Object Oriented Programming and Design
Data Structures
Databases
Discrete Structures
Software Components Design and Implementation

Contact Information

José Sánchez
354 Harris Center (Bldg. 116)
Department of Electrical Engineering and Computer Science
University of Central Florida
Email: sanchez@eecs.ucf.edu