José Sánchez

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.



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