José Sánchez
José Sánchez
  • mail Esta dirección de correo electrónico está protegida contra spambots. Usted necesita tener Javascript activado para poder verla.
  • Phone (506) 2562-6363
  • addressUniversidad Nacional, Campus Benjamín Núñez, Lagunilla, Heredia Costa Rica

Professor and researcher at the School of Informatics of Universidad Nacional de Costa Rica (UNA).

Research Interests

  • Specification and verification of software systems and components
  • Formal methods
  • Modular reasoning for implicit invocation languages

Publications

Teaching

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

Nuestra Ubicación

Lagunilla de Heredia, Campus Benjamín Núñez Heredia Costa Rica

Listas de Correos

Contáctenos

Lagunilla de Heredia, Campus Benjamín Núñez Heredia Costa Rica

Central telefónica: 2562-6363, Fax: 2562-6384

Webmaster: william.hernandez.cordoba@una.cr

Redes Sociales

Síguenos en Facebook

Canal de youtube

Top of Page