![]() |
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 InterestsSpecification and verification of software systems and components, formal methods, and modular reasoning for implicit invocation languages. |
Papers
|
TeachingInstructor at Escuela de Informática , Universidad Nacional and Cenfotec :
|
Contact InformationJosé Sánchez354 Harris Center (Bldg. 116) Department of Electrical Engineering and Computer Science University of Central Florida Email: sanchez@eecs.ucf.edu |